Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068438882> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2068438882 endingPage "180" @default.
- W2068438882 startingPage "152" @default.
- W2068438882 abstract "High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables." @default.
- W2068438882 created "2016-06-24" @default.
- W2068438882 creator A5023315749 @default.
- W2068438882 creator A5071276579 @default.
- W2068438882 date "2006-03-20" @default.
- W2068438882 modified "2023-09-26" @default.
- W2068438882 title "Procedure compilation in the refinement calculus" @default.
- W2068438882 cites W1488057368 @default.
- W2068438882 cites W1489579792 @default.
- W2068438882 cites W1491178396 @default.
- W2068438882 cites W1498044638 @default.
- W2068438882 cites W1511826042 @default.
- W2068438882 cites W1518828487 @default.
- W2068438882 cites W1528891200 @default.
- W2068438882 cites W1552647623 @default.
- W2068438882 cites W1558824830 @default.
- W2068438882 cites W1577712606 @default.
- W2068438882 cites W1586420703 @default.
- W2068438882 cites W1604240374 @default.
- W2068438882 cites W1696557569 @default.
- W2068438882 cites W1785089309 @default.
- W2068438882 cites W1790873974 @default.
- W2068438882 cites W180228825 @default.
- W2068438882 cites W1869337474 @default.
- W2068438882 cites W1999582424 @default.
- W2068438882 cites W2013149850 @default.
- W2068438882 cites W2031506023 @default.
- W2068438882 cites W2040539243 @default.
- W2068438882 cites W2046213250 @default.
- W2068438882 cites W2048698822 @default.
- W2068438882 cites W2068409216 @default.
- W2068438882 cites W2097166325 @default.
- W2068438882 cites W2103953153 @default.
- W2068438882 cites W2114512763 @default.
- W2068438882 cites W2116424612 @default.
- W2068438882 cites W2125417924 @default.
- W2068438882 cites W2127859789 @default.
- W2068438882 cites W2173852369 @default.
- W2068438882 cites W2273588724 @default.
- W2068438882 cites W233399828 @default.
- W2068438882 cites W40575878 @default.
- W2068438882 doi "https://doi.org/10.1007/s00165-006-0091-3" @default.
- W2068438882 hasPublicationYear "2006" @default.
- W2068438882 type Work @default.
- W2068438882 sameAs 2068438882 @default.
- W2068438882 citedByCount "0" @default.
- W2068438882 crossrefType "journal-article" @default.
- W2068438882 hasAuthorship W2068438882A5023315749 @default.
- W2068438882 hasAuthorship W2068438882A5071276579 @default.
- W2068438882 hasBestOaLocation W20684388821 @default.
- W2068438882 hasConcept C11413529 @default.
- W2068438882 hasConcept C142362112 @default.
- W2068438882 hasConcept C153349607 @default.
- W2068438882 hasConcept C156325763 @default.
- W2068438882 hasConcept C161771561 @default.
- W2068438882 hasConcept C184337299 @default.
- W2068438882 hasConcept C199360897 @default.
- W2068438882 hasConcept C24858836 @default.
- W2068438882 hasConcept C30128091 @default.
- W2068438882 hasConcept C41008148 @default.
- W2068438882 hasConcept C558565934 @default.
- W2068438882 hasConcept C73301696 @default.
- W2068438882 hasConcept C80444323 @default.
- W2068438882 hasConcept C90483712 @default.
- W2068438882 hasConceptScore W2068438882C11413529 @default.
- W2068438882 hasConceptScore W2068438882C142362112 @default.
- W2068438882 hasConceptScore W2068438882C153349607 @default.
- W2068438882 hasConceptScore W2068438882C156325763 @default.
- W2068438882 hasConceptScore W2068438882C161771561 @default.
- W2068438882 hasConceptScore W2068438882C184337299 @default.
- W2068438882 hasConceptScore W2068438882C199360897 @default.
- W2068438882 hasConceptScore W2068438882C24858836 @default.
- W2068438882 hasConceptScore W2068438882C30128091 @default.
- W2068438882 hasConceptScore W2068438882C41008148 @default.
- W2068438882 hasConceptScore W2068438882C558565934 @default.
- W2068438882 hasConceptScore W2068438882C73301696 @default.
- W2068438882 hasConceptScore W2068438882C80444323 @default.
- W2068438882 hasConceptScore W2068438882C90483712 @default.
- W2068438882 hasIssue "2" @default.
- W2068438882 hasLocation W20684388821 @default.
- W2068438882 hasLocation W20684388822 @default.
- W2068438882 hasOpenAccess W2068438882 @default.
- W2068438882 hasPrimaryLocation W20684388821 @default.
- W2068438882 hasRelatedWork W1531437820 @default.
- W2068438882 hasRelatedWork W1544359874 @default.
- W2068438882 hasRelatedWork W1855927527 @default.
- W2068438882 hasRelatedWork W2016535383 @default.
- W2068438882 hasRelatedWork W2020116537 @default.
- W2068438882 hasRelatedWork W2040558780 @default.
- W2068438882 hasRelatedWork W2041169043 @default.
- W2068438882 hasRelatedWork W2064074798 @default.
- W2068438882 hasRelatedWork W2068438882 @default.
- W2068438882 hasRelatedWork W2072413276 @default.
- W2068438882 hasVolume "18" @default.
- W2068438882 isParatext "false" @default.
- W2068438882 isRetracted "false" @default.
- W2068438882 magId "2068438882" @default.
- W2068438882 workType "article" @default.