Matches in SemOpenAlex for { <https://semopenalex.org/work/W1680480890> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1680480890 abstract "Modularity is an important pragmatic aspect of semantic<br />descriptions: good modularity is needed to allow the reuse of existing descriptions when extending or changing the described language. In denotational semantics, the issue of modularity has received much attention, and appropriate abstractions have been introduced, so that definitions of semantic functions may be independent of the details of how computations are modeled. In structural operational semantics (SOS), however, this issue has largely been neglected, and SOS descriptions of programming languages typically exhibit rather poor modularity; the original SOS given for Action Notation (the notation for the semantic entities used in action semantics) suffered from the same problem.<br />This paper recalls a recent proposal, called MSOS, for obtaining a high<br />degree of modularity in SOS, and presents an MSOS description of Action<br />Notation. Due to its modularity, the MSOS description pinpoints some<br />complications in the design of Action Notation, and should facilitate the<br />design of an improved version of the notation. It also provides a major<br />example of the applicability of the MSOS framework.<br />The reader is assumed to be familiar with conventional SOS and with<br />the basic concepts and constructs of Action Notation. The description<br />of Action Notation is formulated almost entirely in Casl, the common<br />algebraic specification language." @default.
- W1680480890 created "2016-06-24" @default.
- W1680480890 creator A5081843559 @default.
- W1680480890 date "1999-12-26" @default.
- W1680480890 modified "2023-10-04" @default.
- W1680480890 title "A Modular SOS for Action Notation" @default.
- W1680480890 cites W122958000 @default.
- W1680480890 cites W134868944 @default.
- W1680480890 cites W1503794828 @default.
- W1680480890 cites W1597593761 @default.
- W1680480890 cites W1756930956 @default.
- W1680480890 cites W2065051061 @default.
- W1680480890 cites W2097966390 @default.
- W1680480890 cites W2343157681 @default.
- W1680480890 cites W2406480769 @default.
- W1680480890 cites W2700917587 @default.
- W1680480890 doi "https://doi.org/10.7146/brics.v6i56.20126" @default.
- W1680480890 hasPublicationYear "1999" @default.
- W1680480890 type Work @default.
- W1680480890 sameAs 1680480890 @default.
- W1680480890 citedByCount "20" @default.
- W1680480890 crossrefType "journal-article" @default.
- W1680480890 hasAuthorship W1680480890A5081843559 @default.
- W1680480890 hasBestOaLocation W16804808901 @default.
- W1680480890 hasConcept C101468663 @default.
- W1680480890 hasConcept C121332964 @default.
- W1680480890 hasConcept C150607116 @default.
- W1680480890 hasConcept C156325763 @default.
- W1680480890 hasConcept C184337299 @default.
- W1680480890 hasConcept C199360897 @default.
- W1680480890 hasConcept C207648694 @default.
- W1680480890 hasConcept C2779478453 @default.
- W1680480890 hasConcept C2780791683 @default.
- W1680480890 hasConcept C33923547 @default.
- W1680480890 hasConcept C41008148 @default.
- W1680480890 hasConcept C45357846 @default.
- W1680480890 hasConcept C54355233 @default.
- W1680480890 hasConcept C62520636 @default.
- W1680480890 hasConcept C80444323 @default.
- W1680480890 hasConcept C86803240 @default.
- W1680480890 hasConcept C94375191 @default.
- W1680480890 hasConceptScore W1680480890C101468663 @default.
- W1680480890 hasConceptScore W1680480890C121332964 @default.
- W1680480890 hasConceptScore W1680480890C150607116 @default.
- W1680480890 hasConceptScore W1680480890C156325763 @default.
- W1680480890 hasConceptScore W1680480890C184337299 @default.
- W1680480890 hasConceptScore W1680480890C199360897 @default.
- W1680480890 hasConceptScore W1680480890C207648694 @default.
- W1680480890 hasConceptScore W1680480890C2779478453 @default.
- W1680480890 hasConceptScore W1680480890C2780791683 @default.
- W1680480890 hasConceptScore W1680480890C33923547 @default.
- W1680480890 hasConceptScore W1680480890C41008148 @default.
- W1680480890 hasConceptScore W1680480890C45357846 @default.
- W1680480890 hasConceptScore W1680480890C54355233 @default.
- W1680480890 hasConceptScore W1680480890C62520636 @default.
- W1680480890 hasConceptScore W1680480890C80444323 @default.
- W1680480890 hasConceptScore W1680480890C86803240 @default.
- W1680480890 hasConceptScore W1680480890C94375191 @default.
- W1680480890 hasIssue "56" @default.
- W1680480890 hasLocation W16804808901 @default.
- W1680480890 hasOpenAccess W1680480890 @default.
- W1680480890 hasPrimaryLocation W16804808901 @default.
- W1680480890 hasRelatedWork W1502311553 @default.
- W1680480890 hasRelatedWork W1567613587 @default.
- W1680480890 hasRelatedWork W1568886722 @default.
- W1680480890 hasRelatedWork W1570795131 @default.
- W1680480890 hasRelatedWork W1680480890 @default.
- W1680480890 hasRelatedWork W2050388492 @default.
- W1680480890 hasRelatedWork W2149952006 @default.
- W1680480890 hasRelatedWork W2524005430 @default.
- W1680480890 hasRelatedWork W4253603427 @default.
- W1680480890 hasRelatedWork W2788308474 @default.
- W1680480890 hasVolume "6" @default.
- W1680480890 isParatext "false" @default.
- W1680480890 isRetracted "false" @default.
- W1680480890 magId "1680480890" @default.
- W1680480890 workType "article" @default.