Matches in SemOpenAlex for { <https://semopenalex.org/work/W613907855> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W613907855 abstract "A very simple language concrete syntax concrete and abstract syntax informal, operational semantics formal, denotational semantics implementing Loop in ML abstract syntax of loop in ML semantics of loop in ML an interpreter of abstract loop programs parsing loop algebras basic algebras compound algebras constructing algebras modular, algebraic semantics compositionality fixpoint theory undefined operations and infinite loops recursively defined mappings complete partial orders continuous functions strict extensions of functions fixpoints a Language with errors and infinite loops a richer language syntax of While standard semantics of While semantic equivalence the While theorem While in ML operational semantics proof theoretical semantics formal deductive calculi natural semantics axiomatic semantics declarations of data structures a language with variables and constants untyped semantics of Decl0 layered semantics of Decl0 Decl0 in ML typed semantics of Decl0 Decl1 - A language with arrays procedures and functions a taxonomy of parameter transmissions var, val and value parameters name parameters lazy parameters floating procedures and functions objects and classes syntax and informal semantics semantic domains semantic mappings subclasses and inheritance continuations and jumps exits and stops layered continuation semantics Goto's expressions that change the state exceptions nondeterminism and concurrency nondeterminism powerdomains concurrency reflexive domains domain equations sets of non-negative integers the Lambda language using Lambda retracts how to solve domain equations." @default.
- W613907855 created "2016-06-24" @default.
- W613907855 creator A5046915688 @default.
- W613907855 date "1997-01-01" @default.
- W613907855 modified "2023-09-27" @default.
- W613907855 title "Programming language semantics : imperative and object-oriented languages" @default.
- W613907855 hasPublicationYear "1997" @default.
- W613907855 type Work @default.
- W613907855 sameAs 613907855 @default.
- W613907855 citedByCount "2" @default.
- W613907855 crossrefType "book" @default.
- W613907855 hasAuthorship W613907855A5046915688 @default.
- W613907855 hasConcept C118615104 @default.
- W613907855 hasConcept C146499914 @default.
- W613907855 hasConcept C150607116 @default.
- W613907855 hasConcept C156325763 @default.
- W613907855 hasConcept C184337299 @default.
- W613907855 hasConcept C199360897 @default.
- W613907855 hasConcept C200065993 @default.
- W613907855 hasConcept C207648694 @default.
- W613907855 hasConcept C29585364 @default.
- W613907855 hasConcept C33923547 @default.
- W613907855 hasConcept C41008148 @default.
- W613907855 hasConcept C89448276 @default.
- W613907855 hasConcept C89497691 @default.
- W613907855 hasConceptScore W613907855C118615104 @default.
- W613907855 hasConceptScore W613907855C146499914 @default.
- W613907855 hasConceptScore W613907855C150607116 @default.
- W613907855 hasConceptScore W613907855C156325763 @default.
- W613907855 hasConceptScore W613907855C184337299 @default.
- W613907855 hasConceptScore W613907855C199360897 @default.
- W613907855 hasConceptScore W613907855C200065993 @default.
- W613907855 hasConceptScore W613907855C207648694 @default.
- W613907855 hasConceptScore W613907855C29585364 @default.
- W613907855 hasConceptScore W613907855C33923547 @default.
- W613907855 hasConceptScore W613907855C41008148 @default.
- W613907855 hasConceptScore W613907855C89448276 @default.
- W613907855 hasConceptScore W613907855C89497691 @default.
- W613907855 hasLocation W6139078551 @default.
- W613907855 hasOpenAccess W613907855 @default.
- W613907855 hasPrimaryLocation W6139078551 @default.
- W613907855 hasRelatedWork W1487472891 @default.
- W613907855 hasRelatedWork W1493950382 @default.
- W613907855 hasRelatedWork W1533091882 @default.
- W613907855 hasRelatedWork W1563733206 @default.
- W613907855 hasRelatedWork W1578958123 @default.
- W613907855 hasRelatedWork W1929699059 @default.
- W613907855 hasRelatedWork W1966776305 @default.
- W613907855 hasRelatedWork W1976711789 @default.
- W613907855 hasRelatedWork W1988438613 @default.
- W613907855 hasRelatedWork W2008810655 @default.
- W613907855 hasRelatedWork W2041296984 @default.
- W613907855 hasRelatedWork W2093206756 @default.
- W613907855 hasRelatedWork W2108911687 @default.
- W613907855 hasRelatedWork W2126421682 @default.
- W613907855 hasRelatedWork W2214749296 @default.
- W613907855 hasRelatedWork W2478409013 @default.
- W613907855 hasRelatedWork W2734704915 @default.
- W613907855 hasRelatedWork W50657916 @default.
- W613907855 hasRelatedWork W2101082308 @default.
- W613907855 hasRelatedWork W2113707023 @default.
- W613907855 isParatext "false" @default.
- W613907855 isRetracted "false" @default.
- W613907855 magId "613907855" @default.
- W613907855 workType "book" @default.