Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000457893> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2000457893 endingPage "32" @default.
- W2000457893 startingPage "27" @default.
- W2000457893 abstract "We present a new approach to providing a structural operational semantics for imperative programming languages with concurrency and procedures. The approach is novel because we expose the building block operations—variable assignment and condition checking—in the labels on the transitions; these form the context-dependent behaviour of a program. Using this style results in two main advantages over standard formalisms for imperative programming language semantics: firstly, our individual transition rules are more concise, and secondly, we are able to more abstractly and intuitively describe the semantics of procedures, including by-value and by-reference parameters. Standard techniques in the literature tend to result in complex and hard-to-read rules for even simple language constructs when procedures and parameters are dealt with. Our semantics for procedures utilises the context-dependent behaviour in the transition label to handle variable name scoping, and defines the semantics of recursion without requiring additional rules. In contrast with Plotkin’s seminal structural operational semantics paper, we do not use locations to describe some of the more complex language constructs. Novel aspects of the abstract syntax include local states (in contrast to a single global store), which simplifies the reasoning about local variables, and a command for dynamically renaming variables (in contrast to mapping variables to locations), which simplifies the reasoning about the effect of procedures on by-reference parameters." @default.
- W2000457893 created "2016-06-24" @default.
- W2000457893 creator A5053935611 @default.
- W2000457893 date "2003-10-01" @default.
- W2000457893 modified "2023-10-18" @default.
- W2000457893 title "Operational semantics: Concepts and their expression" @default.
- W2000457893 cites W1964071625 @default.
- W2000457893 cites W2003545826 @default.
- W2000457893 cites W2062024564 @default.
- W2000457893 cites W2104416102 @default.
- W2000457893 cites W2151056175 @default.
- W2000457893 cites W2405725997 @default.
- W2000457893 cites W4300410467 @default.
- W2000457893 doi "https://doi.org/10.1016/s0020-0190(03)00383-1" @default.
- W2000457893 hasPublicationYear "2003" @default.
- W2000457893 type Work @default.
- W2000457893 sameAs 2000457893 @default.
- W2000457893 citedByCount "26" @default.
- W2000457893 countsByYear W20004578932012 @default.
- W2000457893 countsByYear W20004578932013 @default.
- W2000457893 countsByYear W20004578932014 @default.
- W2000457893 countsByYear W20004578932015 @default.
- W2000457893 countsByYear W20004578932016 @default.
- W2000457893 countsByYear W20004578932017 @default.
- W2000457893 countsByYear W20004578932018 @default.
- W2000457893 crossrefType "journal-article" @default.
- W2000457893 hasAuthorship W2000457893A5053935611 @default.
- W2000457893 hasConcept C134306372 @default.
- W2000457893 hasConcept C150607116 @default.
- W2000457893 hasConcept C151730666 @default.
- W2000457893 hasConcept C154945302 @default.
- W2000457893 hasConcept C156325763 @default.
- W2000457893 hasConcept C168773036 @default.
- W2000457893 hasConcept C171018156 @default.
- W2000457893 hasConcept C182365436 @default.
- W2000457893 hasConcept C184337299 @default.
- W2000457893 hasConcept C193702766 @default.
- W2000457893 hasConcept C199360897 @default.
- W2000457893 hasConcept C200065993 @default.
- W2000457893 hasConcept C207648694 @default.
- W2000457893 hasConcept C2524010 @default.
- W2000457893 hasConcept C2779343474 @default.
- W2000457893 hasConcept C33923547 @default.
- W2000457893 hasConcept C41008148 @default.
- W2000457893 hasConcept C60048249 @default.
- W2000457893 hasConcept C80444323 @default.
- W2000457893 hasConcept C86803240 @default.
- W2000457893 hasConcept C89497691 @default.
- W2000457893 hasConceptScore W2000457893C134306372 @default.
- W2000457893 hasConceptScore W2000457893C150607116 @default.
- W2000457893 hasConceptScore W2000457893C151730666 @default.
- W2000457893 hasConceptScore W2000457893C154945302 @default.
- W2000457893 hasConceptScore W2000457893C156325763 @default.
- W2000457893 hasConceptScore W2000457893C168773036 @default.
- W2000457893 hasConceptScore W2000457893C171018156 @default.
- W2000457893 hasConceptScore W2000457893C182365436 @default.
- W2000457893 hasConceptScore W2000457893C184337299 @default.
- W2000457893 hasConceptScore W2000457893C193702766 @default.
- W2000457893 hasConceptScore W2000457893C199360897 @default.
- W2000457893 hasConceptScore W2000457893C200065993 @default.
- W2000457893 hasConceptScore W2000457893C207648694 @default.
- W2000457893 hasConceptScore W2000457893C2524010 @default.
- W2000457893 hasConceptScore W2000457893C2779343474 @default.
- W2000457893 hasConceptScore W2000457893C33923547 @default.
- W2000457893 hasConceptScore W2000457893C41008148 @default.
- W2000457893 hasConceptScore W2000457893C60048249 @default.
- W2000457893 hasConceptScore W2000457893C80444323 @default.
- W2000457893 hasConceptScore W2000457893C86803240 @default.
- W2000457893 hasConceptScore W2000457893C89497691 @default.
- W2000457893 hasIssue "1-2" @default.
- W2000457893 hasLocation W20004578931 @default.
- W2000457893 hasOpenAccess W2000457893 @default.
- W2000457893 hasPrimaryLocation W20004578931 @default.
- W2000457893 hasRelatedWork W2017152877 @default.
- W2000457893 hasRelatedWork W2110907295 @default.
- W2000457893 hasRelatedWork W2681723658 @default.
- W2000457893 hasRelatedWork W3139603584 @default.
- W2000457893 hasRelatedWork W75631880 @default.
- W2000457893 hasRelatedWork W783270985 @default.
- W2000457893 hasRelatedWork W1958334269 @default.
- W2000457893 hasRelatedWork W2523902456 @default.
- W2000457893 hasRelatedWork W2938892545 @default.
- W2000457893 hasRelatedWork W3023595429 @default.
- W2000457893 hasVolume "88" @default.
- W2000457893 isParatext "false" @default.
- W2000457893 isRetracted "false" @default.
- W2000457893 magId "2000457893" @default.
- W2000457893 workType "article" @default.