Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912273059> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2912273059 abstract "Denotational semantics (Sch86) is a powerful framework for describing programming languages; however, its descriptions lack modularity: conceptually independent language features influence each others' semantics. We address this problem by presenting a theory of modular denotational semantics.Following Mosses (Mos92), we divide a semantics into two parts, a computation ADT and a language ADT (abstract data type). The computation ADT represents the basic semantic structure of the language. The language ADT represents the actual language constructs, as described by a grammar. We define the language ADT using the computation ADT; in fact, language constructs are polymorphic over many different computation ADTs.Following Moggi (Mog89a), we build the computation ADT from composable parts, using monads and monad transformers. These techniques allow us to build many different computation ADTs, and, since our language constructs are polymorphic, many different language semantics.We automate these ideas in scSEMANTIC LEGO (SL), a modular language construction set written in Scheme. SL generates interpreters automatically from composable parts and is a useful tool for programming language design." @default.
- W2912273059 created "2019-02-21" @default.
- W2912273059 creator A5062487940 @default.
- W2912273059 date "1995-09-01" @default.
- W2912273059 modified "2023-09-28" @default.
- W2912273059 title "Semantic Lego" @default.
- W2912273059 hasPublicationYear "1995" @default.
- W2912273059 type Work @default.
- W2912273059 sameAs 2912273059 @default.
- W2912273059 citedByCount "38" @default.
- W2912273059 countsByYear W29122730592012 @default.
- W2912273059 countsByYear W29122730592013 @default.
- W2912273059 countsByYear W29122730592014 @default.
- W2912273059 countsByYear W29122730592017 @default.
- W2912273059 crossrefType "journal-article" @default.
- W2912273059 hasAuthorship W2912273059A5062487940 @default.
- W2912273059 hasConcept C101468663 @default.
- W2912273059 hasConcept C118615104 @default.
- W2912273059 hasConcept C150607116 @default.
- W2912273059 hasConcept C156325763 @default.
- W2912273059 hasConcept C156772000 @default.
- W2912273059 hasConcept C184337299 @default.
- W2912273059 hasConcept C199360897 @default.
- W2912273059 hasConcept C200065993 @default.
- W2912273059 hasConcept C207648694 @default.
- W2912273059 hasConcept C33923547 @default.
- W2912273059 hasConcept C33959348 @default.
- W2912273059 hasConcept C41008148 @default.
- W2912273059 hasConcept C44779574 @default.
- W2912273059 hasConcept C45374587 @default.
- W2912273059 hasConcept C48859967 @default.
- W2912273059 hasConcept C89448276 @default.
- W2912273059 hasConceptScore W2912273059C101468663 @default.
- W2912273059 hasConceptScore W2912273059C118615104 @default.
- W2912273059 hasConceptScore W2912273059C150607116 @default.
- W2912273059 hasConceptScore W2912273059C156325763 @default.
- W2912273059 hasConceptScore W2912273059C156772000 @default.
- W2912273059 hasConceptScore W2912273059C184337299 @default.
- W2912273059 hasConceptScore W2912273059C199360897 @default.
- W2912273059 hasConceptScore W2912273059C200065993 @default.
- W2912273059 hasConceptScore W2912273059C207648694 @default.
- W2912273059 hasConceptScore W2912273059C33923547 @default.
- W2912273059 hasConceptScore W2912273059C33959348 @default.
- W2912273059 hasConceptScore W2912273059C41008148 @default.
- W2912273059 hasConceptScore W2912273059C44779574 @default.
- W2912273059 hasConceptScore W2912273059C45374587 @default.
- W2912273059 hasConceptScore W2912273059C48859967 @default.
- W2912273059 hasConceptScore W2912273059C89448276 @default.
- W2912273059 hasLocation W29122730591 @default.
- W2912273059 hasOpenAccess W2912273059 @default.
- W2912273059 hasPrimaryLocation W29122730591 @default.
- W2912273059 hasRelatedWork W1505328378 @default.
- W2912273059 hasRelatedWork W1532465792 @default.
- W2912273059 hasRelatedWork W1570795131 @default.
- W2912273059 hasRelatedWork W1575027156 @default.
- W2912273059 hasRelatedWork W1592287058 @default.
- W2912273059 hasRelatedWork W1608714802 @default.
- W2912273059 hasRelatedWork W181289641 @default.
- W2912273059 hasRelatedWork W1889468400 @default.
- W2912273059 hasRelatedWork W1893810794 @default.
- W2912273059 hasRelatedWork W1897405783 @default.
- W2912273059 hasRelatedWork W1986523916 @default.
- W2912273059 hasRelatedWork W1995674161 @default.
- W2912273059 hasRelatedWork W1997143185 @default.
- W2912273059 hasRelatedWork W2037984920 @default.
- W2912273059 hasRelatedWork W2078944436 @default.
- W2912273059 hasRelatedWork W2136202785 @default.
- W2912273059 hasRelatedWork W2141576692 @default.
- W2912273059 hasRelatedWork W2156876717 @default.
- W2912273059 hasRelatedWork W2295914203 @default.
- W2912273059 hasRelatedWork W2614279894 @default.
- W2912273059 isParatext "false" @default.
- W2912273059 isRetracted "false" @default.
- W2912273059 magId "2912273059" @default.
- W2912273059 workType "article" @default.