Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146150480> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2146150480 abstract "Publisher Summary This chapter presents a simple theory developing a reliable syntax, whose execution semantics are unambiguous. Of all the languages used by system administrators and operators in deploying services (e.g. PHP, Perl, TCL, Scheme, etc.) few can be said to have such a clear connection between syntax and behavior. The system world would do well to foster this kind of predictability in future technologies. Today there is a need for a new generation of languages for system management, in a variety of contexts. One example is configuration management. Configuration management is currently an active area. The chapter highlights the role of layers of language abstraction and their effect on semantics of language statements and shows how these languages can be built up from low-level primitives through virtualiation layers to high-level constructs, so that we might build new languages that are “correct by construction”. A simple program notation for object oriented programming has been provided admitting a projection semantics. Many more features exist and the project of syntax design has only been touched upon. Still the claim is made that the above considerations provide a basis for the design of reliable syntax for much more involved program notations. Projection semantics provides a scientifically well-founded and rigorous, yet simple approach to the semantics of programming languages. Future work will have to clarify that this framework is industrially viable for the high-level design and analysis of complex systems, and for natural refinements of models to executable and reliable code." @default.
- W2146150480 created "2016-06-24" @default.
- W2146150480 creator A5032380170 @default.
- W2146150480 creator A5055026428 @default.
- W2146150480 date "2008-01-01" @default.
- W2146150480 modified "2023-09-27" @default.
- W2146150480 title "Predictable and Reliable Program Code" @default.
- W2146150480 cites W134093758 @default.
- W2146150480 cites W1489435372 @default.
- W2146150480 cites W1521991699 @default.
- W2146150480 cites W1574404229 @default.
- W2146150480 cites W1594183216 @default.
- W2146150480 cites W1598263475 @default.
- W2146150480 cites W1764524607 @default.
- W2146150480 cites W1965715676 @default.
- W2146150480 cites W1973798924 @default.
- W2146150480 cites W1976298601 @default.
- W2146150480 cites W1997143185 @default.
- W2146150480 cites W2023081167 @default.
- W2146150480 cites W2032008460 @default.
- W2146150480 cites W2060160091 @default.
- W2146150480 cites W2066210260 @default.
- W2146150480 cites W2097116071 @default.
- W2146150480 cites W2111706174 @default.
- W2146150480 cites W2114247177 @default.
- W2146150480 cites W2116590474 @default.
- W2146150480 cites W2137865376 @default.
- W2146150480 cites W2138108302 @default.
- W2146150480 cites W2154456298 @default.
- W2146150480 cites W2167505354 @default.
- W2146150480 cites W2171380900 @default.
- W2146150480 cites W2205337852 @default.
- W2146150480 cites W2587806489 @default.
- W2146150480 cites W2809674682 @default.
- W2146150480 cites W2912883082 @default.
- W2146150480 cites W2914260883 @default.
- W2146150480 cites W3021003119 @default.
- W2146150480 cites W3031843753 @default.
- W2146150480 cites W3146075203 @default.
- W2146150480 cites W3181441684 @default.
- W2146150480 cites W64514683 @default.
- W2146150480 cites W954932256 @default.
- W2146150480 doi "https://doi.org/10.1016/b978-044452198-9.50026-4" @default.
- W2146150480 hasPublicationYear "2008" @default.
- W2146150480 type Work @default.
- W2146150480 sameAs 2146150480 @default.
- W2146150480 citedByCount "7" @default.
- W2146150480 countsByYear W21461504802015 @default.
- W2146150480 crossrefType "book-chapter" @default.
- W2146150480 hasAuthorship W2146150480A5032380170 @default.
- W2146150480 hasAuthorship W2146150480A5055026428 @default.
- W2146150480 hasConcept C154945302 @default.
- W2146150480 hasConcept C156325763 @default.
- W2146150480 hasConcept C160145156 @default.
- W2146150480 hasConcept C184337299 @default.
- W2146150480 hasConcept C18701968 @default.
- W2146150480 hasConcept C199305712 @default.
- W2146150480 hasConcept C199360897 @default.
- W2146150480 hasConcept C34165917 @default.
- W2146150480 hasConcept C41008148 @default.
- W2146150480 hasConcept C60048249 @default.
- W2146150480 hasConceptScore W2146150480C154945302 @default.
- W2146150480 hasConceptScore W2146150480C156325763 @default.
- W2146150480 hasConceptScore W2146150480C160145156 @default.
- W2146150480 hasConceptScore W2146150480C184337299 @default.
- W2146150480 hasConceptScore W2146150480C18701968 @default.
- W2146150480 hasConceptScore W2146150480C199305712 @default.
- W2146150480 hasConceptScore W2146150480C199360897 @default.
- W2146150480 hasConceptScore W2146150480C34165917 @default.
- W2146150480 hasConceptScore W2146150480C41008148 @default.
- W2146150480 hasConceptScore W2146150480C60048249 @default.
- W2146150480 hasLocation W21461504801 @default.
- W2146150480 hasOpenAccess W2146150480 @default.
- W2146150480 hasPrimaryLocation W21461504801 @default.
- W2146150480 hasRelatedWork W1522113126 @default.
- W2146150480 hasRelatedWork W1652311832 @default.
- W2146150480 hasRelatedWork W2118300983 @default.
- W2146150480 hasRelatedWork W2135396778 @default.
- W2146150480 hasRelatedWork W2166247150 @default.
- W2146150480 hasRelatedWork W2243428364 @default.
- W2146150480 hasRelatedWork W2462453872 @default.
- W2146150480 hasRelatedWork W3207171446 @default.
- W2146150480 hasRelatedWork W4243252198 @default.
- W2146150480 hasRelatedWork W4245713008 @default.
- W2146150480 isParatext "false" @default.
- W2146150480 isRetracted "false" @default.
- W2146150480 magId "2146150480" @default.
- W2146150480 workType "book-chapter" @default.