Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126064230> ?p ?o ?g. }
- W3126064230 endingPage "31" @default.
- W3126064230 startingPage "1" @default.
- W3126064230 abstract "The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge effort. General theory and frameworks have been proposed to help with this effort. However, none of this work provides a systematic way of developing concrete and abstract semantics, connected together by a general consistency result. We introduce a skeletal semantics of a language, where each skeleton describes the complete semantic behaviour of a language construct. We define a general notion of interpretation, which provides a systematic and language-independent way of deriving semantic judgements from the skeletal semantics. We explore four generic interpretations: a simple well-formedness interpretation; a concrete interpretation; an abstract interpretation; and a constraint generator for flow-sensitive analysis. We prove general consistency results between interpretations, depending only on simple language-dependent lemmas. We illustrate our ideas using a simple While language." @default.
- W3126064230 created "2021-02-01" @default.
- W3126064230 creator A5013605827 @default.
- W3126064230 creator A5046395197 @default.
- W3126064230 creator A5047951273 @default.
- W3126064230 creator A5054819541 @default.
- W3126064230 date "2019-01-02" @default.
- W3126064230 modified "2023-10-11" @default.
- W3126064230 title "Skeletal semantics and their interpretations" @default.
- W3126064230 cites W1426476981 @default.
- W3126064230 cites W1521434182 @default.
- W3126064230 cites W2003556922 @default.
- W3126064230 cites W2006731094 @default.
- W3126064230 cites W2009375997 @default.
- W3126064230 cites W2013885073 @default.
- W3126064230 cites W203501420 @default.
- W3126064230 cites W2039101138 @default.
- W3126064230 cites W2043100293 @default.
- W3126064230 cites W2048417351 @default.
- W3126064230 cites W2063692999 @default.
- W3126064230 cites W2065403304 @default.
- W3126064230 cites W2077255408 @default.
- W3126064230 cites W2080575293 @default.
- W3126064230 cites W2082841864 @default.
- W3126064230 cites W2094983564 @default.
- W3126064230 cites W2096529083 @default.
- W3126064230 cites W2118431434 @default.
- W3126064230 cites W2129695855 @default.
- W3126064230 cites W2150224578 @default.
- W3126064230 cites W2535818195 @default.
- W3126064230 cites W2675276594 @default.
- W3126064230 cites W2886090648 @default.
- W3126064230 cites W3106373601 @default.
- W3126064230 doi "https://doi.org/10.1145/3290357" @default.
- W3126064230 hasPublicationYear "2019" @default.
- W3126064230 type Work @default.
- W3126064230 sameAs 3126064230 @default.
- W3126064230 citedByCount "10" @default.
- W3126064230 countsByYear W31260642302020 @default.
- W3126064230 countsByYear W31260642302021 @default.
- W3126064230 countsByYear W31260642302022 @default.
- W3126064230 countsByYear W31260642302023 @default.
- W3126064230 crossrefType "journal-article" @default.
- W3126064230 hasAuthorship W3126064230A5013605827 @default.
- W3126064230 hasAuthorship W3126064230A5046395197 @default.
- W3126064230 hasAuthorship W3126064230A5047951273 @default.
- W3126064230 hasAuthorship W3126064230A5054819541 @default.
- W3126064230 hasBestOaLocation W31260642301 @default.
- W3126064230 hasConcept C111472728 @default.
- W3126064230 hasConcept C121332964 @default.
- W3126064230 hasConcept C138885662 @default.
- W3126064230 hasConcept C154945302 @default.
- W3126064230 hasConcept C156325763 @default.
- W3126064230 hasConcept C163258240 @default.
- W3126064230 hasConcept C169590947 @default.
- W3126064230 hasConcept C184337299 @default.
- W3126064230 hasConcept C199360897 @default.
- W3126064230 hasConcept C204321447 @default.
- W3126064230 hasConcept C2776436953 @default.
- W3126064230 hasConcept C2780586882 @default.
- W3126064230 hasConcept C2780654840 @default.
- W3126064230 hasConcept C2780992000 @default.
- W3126064230 hasConcept C41008148 @default.
- W3126064230 hasConcept C48859967 @default.
- W3126064230 hasConcept C527412718 @default.
- W3126064230 hasConcept C62520636 @default.
- W3126064230 hasConceptScore W3126064230C111472728 @default.
- W3126064230 hasConceptScore W3126064230C121332964 @default.
- W3126064230 hasConceptScore W3126064230C138885662 @default.
- W3126064230 hasConceptScore W3126064230C154945302 @default.
- W3126064230 hasConceptScore W3126064230C156325763 @default.
- W3126064230 hasConceptScore W3126064230C163258240 @default.
- W3126064230 hasConceptScore W3126064230C169590947 @default.
- W3126064230 hasConceptScore W3126064230C184337299 @default.
- W3126064230 hasConceptScore W3126064230C199360897 @default.
- W3126064230 hasConceptScore W3126064230C204321447 @default.
- W3126064230 hasConceptScore W3126064230C2776436953 @default.
- W3126064230 hasConceptScore W3126064230C2780586882 @default.
- W3126064230 hasConceptScore W3126064230C2780654840 @default.
- W3126064230 hasConceptScore W3126064230C2780992000 @default.
- W3126064230 hasConceptScore W3126064230C41008148 @default.
- W3126064230 hasConceptScore W3126064230C48859967 @default.
- W3126064230 hasConceptScore W3126064230C527412718 @default.
- W3126064230 hasConceptScore W3126064230C62520636 @default.
- W3126064230 hasFunder F4320334627 @default.
- W3126064230 hasIssue "POPL" @default.
- W3126064230 hasLocation W31260642301 @default.
- W3126064230 hasLocation W31260642302 @default.
- W3126064230 hasLocation W31260642303 @default.
- W3126064230 hasLocation W31260642304 @default.
- W3126064230 hasLocation W31260642305 @default.
- W3126064230 hasLocation W31260642306 @default.
- W3126064230 hasLocation W31260642307 @default.
- W3126064230 hasOpenAccess W3126064230 @default.
- W3126064230 hasPrimaryLocation W31260642301 @default.
- W3126064230 hasRelatedWork W1531851716 @default.
- W3126064230 hasRelatedWork W1550912436 @default.
- W3126064230 hasRelatedWork W1995638504 @default.