Matches in SemOpenAlex for { <https://semopenalex.org/work/W158838047> ?p ?o ?g. }
- W158838047 endingPage "39" @default.
- W158838047 startingPage "27" @default.
- W158838047 abstract "It is widely believed that low-level languages with jumps must be difficult to reason about by being inherently non-modular. We have recently argued that this in untrue and proposed a novel method for developing compositional natural semantics and Hoare logics for low-level languages and demonstrated its viability on the example of a simple low-level language with expressions (Saabas & Uustalu 2005). The central idea is to use the implicit structure of finite disjoint unions present in low-level code as an (ambiguous) phrase structure.Here we apply our method to a stack-based language and develop it further. We define a compositional natural semantics and Hoare logic for this language and go then on to show that, in addition to Hoare logics, one can also derive compositional type systems as weaker specification languages with the same method. We describe type systems for stack-error freedom and secure information flow." @default.
- W158838047 created "2016-06-24" @default.
- W158838047 creator A5058867828 @default.
- W158838047 creator A5074922343 @default.
- W158838047 date "2006-01-01" @default.
- W158838047 modified "2023-09-23" @default.
- W158838047 title "Compositional type systems for stack-based low-level languages" @default.
- W158838047 cites W117803535 @default.
- W158838047 cites W1538724214 @default.
- W158838047 cites W1539312520 @default.
- W158838047 cites W1544646281 @default.
- W158838047 cites W1561339221 @default.
- W158838047 cites W1564435947 @default.
- W158838047 cites W1859811486 @default.
- W158838047 cites W1973336874 @default.
- W158838047 cites W1984580286 @default.
- W158838047 cites W1991984504 @default.
- W158838047 cites W200081508 @default.
- W158838047 cites W2006807875 @default.
- W158838047 cites W2010528240 @default.
- W158838047 cites W2028904812 @default.
- W158838047 cites W2031833469 @default.
- W158838047 cites W2051221358 @default.
- W158838047 cites W2053822998 @default.
- W158838047 cites W2069107692 @default.
- W158838047 cites W2069300761 @default.
- W158838047 cites W2075350371 @default.
- W158838047 cites W2129278597 @default.
- W158838047 cites W2133074047 @default.
- W158838047 cites W2142018213 @default.
- W158838047 cites W2149465027 @default.
- W158838047 cites W2149925406 @default.
- W158838047 cites W2150174204 @default.
- W158838047 cites W2151480972 @default.
- W158838047 cites W3146075203 @default.
- W158838047 cites W66204125 @default.
- W158838047 hasPublicationYear "2006" @default.
- W158838047 type Work @default.
- W158838047 sameAs 158838047 @default.
- W158838047 citedByCount "1" @default.
- W158838047 crossrefType "proceedings-article" @default.
- W158838047 hasAuthorship W158838047A5058867828 @default.
- W158838047 hasAuthorship W158838047A5074922343 @default.
- W158838047 hasConcept C101468663 @default.
- W158838047 hasConcept C104949639 @default.
- W158838047 hasConcept C119263510 @default.
- W158838047 hasConcept C121375916 @default.
- W158838047 hasConcept C124577441 @default.
- W158838047 hasConcept C154945302 @default.
- W158838047 hasConcept C173856430 @default.
- W158838047 hasConcept C184337299 @default.
- W158838047 hasConcept C18903297 @default.
- W158838047 hasConcept C199360897 @default.
- W158838047 hasConcept C2777299769 @default.
- W158838047 hasConcept C34165917 @default.
- W158838047 hasConcept C41008148 @default.
- W158838047 hasConcept C50033165 @default.
- W158838047 hasConcept C55439883 @default.
- W158838047 hasConcept C80444323 @default.
- W158838047 hasConcept C86803240 @default.
- W158838047 hasConcept C93682546 @default.
- W158838047 hasConcept C9395851 @default.
- W158838047 hasConceptScore W158838047C101468663 @default.
- W158838047 hasConceptScore W158838047C104949639 @default.
- W158838047 hasConceptScore W158838047C119263510 @default.
- W158838047 hasConceptScore W158838047C121375916 @default.
- W158838047 hasConceptScore W158838047C124577441 @default.
- W158838047 hasConceptScore W158838047C154945302 @default.
- W158838047 hasConceptScore W158838047C173856430 @default.
- W158838047 hasConceptScore W158838047C184337299 @default.
- W158838047 hasConceptScore W158838047C18903297 @default.
- W158838047 hasConceptScore W158838047C199360897 @default.
- W158838047 hasConceptScore W158838047C2777299769 @default.
- W158838047 hasConceptScore W158838047C34165917 @default.
- W158838047 hasConceptScore W158838047C41008148 @default.
- W158838047 hasConceptScore W158838047C50033165 @default.
- W158838047 hasConceptScore W158838047C55439883 @default.
- W158838047 hasConceptScore W158838047C80444323 @default.
- W158838047 hasConceptScore W158838047C86803240 @default.
- W158838047 hasConceptScore W158838047C93682546 @default.
- W158838047 hasConceptScore W158838047C9395851 @default.
- W158838047 hasLocation W1588380471 @default.
- W158838047 hasOpenAccess W158838047 @default.
- W158838047 hasPrimaryLocation W1588380471 @default.
- W158838047 hasRelatedWork W1503676575 @default.
- W158838047 hasRelatedWork W1531349054 @default.
- W158838047 hasRelatedWork W1591242928 @default.
- W158838047 hasRelatedWork W1661340274 @default.
- W158838047 hasRelatedWork W1701167083 @default.
- W158838047 hasRelatedWork W1827100046 @default.
- W158838047 hasRelatedWork W183428347 @default.
- W158838047 hasRelatedWork W193973472 @default.
- W158838047 hasRelatedWork W1968147838 @default.
- W158838047 hasRelatedWork W1990195251 @default.
- W158838047 hasRelatedWork W2094158590 @default.
- W158838047 hasRelatedWork W2113029157 @default.
- W158838047 hasRelatedWork W2119916221 @default.
- W158838047 hasRelatedWork W2134400866 @default.