Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170606418> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2170606418 endingPage "302" @default.
- W2170606418 startingPage "273" @default.
- W2170606418 abstract "The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about because of being inherently non-modular. We argue that this is untrue. We take it seriously that, unlike statements of a high-level language, pieces of low-level code are multiple-entry and multiple-exit. And we define a piece of code as consisting of either a single labelled instruction or a finite union of pieces of code. Thus we obtain a compositional natural semantics and a matching Hoare logic for a basic low-level language with jumps. By their simplicity and intuitiveness, these are comparable to the standard natural semantics and Hoare logic of While. The Hoare logic is sound and complete wrt the semantics and allows for compilation of proofs of the Hoare logic of While." @default.
- W2170606418 created "2016-06-24" @default.
- W2170606418 creator A5058867828 @default.
- W2170606418 creator A5074922343 @default.
- W2170606418 date "2007-04-01" @default.
- W2170606418 modified "2023-10-17" @default.
- W2170606418 title "A compositional natural semantics and Hoare logic for low-level languages" @default.
- W2170606418 cites W1991984504 @default.
- W2170606418 cites W2006807875 @default.
- W2170606418 cites W2028904812 @default.
- W2170606418 cites W2051221358 @default.
- W2170606418 cites W2075350371 @default.
- W2170606418 cites W2088982416 @default.
- W2170606418 cites W2142018213 @default.
- W2170606418 cites W2987907651 @default.
- W2170606418 doi "https://doi.org/10.1016/j.tcs.2006.12.020" @default.
- W2170606418 hasPublicationYear "2007" @default.
- W2170606418 type Work @default.
- W2170606418 sameAs 2170606418 @default.
- W2170606418 citedByCount "17" @default.
- W2170606418 countsByYear W21706064182012 @default.
- W2170606418 countsByYear W21706064182013 @default.
- W2170606418 countsByYear W21706064182017 @default.
- W2170606418 countsByYear W21706064182018 @default.
- W2170606418 crossrefType "journal-article" @default.
- W2170606418 hasAuthorship W2170606418A5058867828 @default.
- W2170606418 hasAuthorship W2170606418A5074922343 @default.
- W2170606418 hasBestOaLocation W21706064181 @default.
- W2170606418 hasConcept C104949639 @default.
- W2170606418 hasConcept C156325763 @default.
- W2170606418 hasConcept C166957645 @default.
- W2170606418 hasConcept C173856430 @default.
- W2170606418 hasConcept C184337299 @default.
- W2170606418 hasConcept C199360897 @default.
- W2170606418 hasConcept C207648694 @default.
- W2170606418 hasConcept C2776608160 @default.
- W2170606418 hasConcept C41008148 @default.
- W2170606418 hasConcept C55439883 @default.
- W2170606418 hasConcept C58041814 @default.
- W2170606418 hasConcept C95457728 @default.
- W2170606418 hasConceptScore W2170606418C104949639 @default.
- W2170606418 hasConceptScore W2170606418C156325763 @default.
- W2170606418 hasConceptScore W2170606418C166957645 @default.
- W2170606418 hasConceptScore W2170606418C173856430 @default.
- W2170606418 hasConceptScore W2170606418C184337299 @default.
- W2170606418 hasConceptScore W2170606418C199360897 @default.
- W2170606418 hasConceptScore W2170606418C207648694 @default.
- W2170606418 hasConceptScore W2170606418C2776608160 @default.
- W2170606418 hasConceptScore W2170606418C41008148 @default.
- W2170606418 hasConceptScore W2170606418C55439883 @default.
- W2170606418 hasConceptScore W2170606418C58041814 @default.
- W2170606418 hasConceptScore W2170606418C95457728 @default.
- W2170606418 hasIssue "3" @default.
- W2170606418 hasLocation W21706064181 @default.
- W2170606418 hasOpenAccess W2170606418 @default.
- W2170606418 hasPrimaryLocation W21706064181 @default.
- W2170606418 hasRelatedWork W1544646281 @default.
- W2170606418 hasRelatedWork W1595420666 @default.
- W2170606418 hasRelatedWork W2088428089 @default.
- W2170606418 hasRelatedWork W2226137800 @default.
- W2170606418 hasRelatedWork W2256268268 @default.
- W2170606418 hasRelatedWork W2347161843 @default.
- W2170606418 hasRelatedWork W2574359038 @default.
- W2170606418 hasRelatedWork W4297797338 @default.
- W2170606418 hasRelatedWork W564852913 @default.
- W2170606418 hasRelatedWork W89732893 @default.
- W2170606418 hasVolume "373" @default.
- W2170606418 isParatext "false" @default.
- W2170606418 isRetracted "false" @default.
- W2170606418 magId "2170606418" @default.
- W2170606418 workType "article" @default.