Matches in SemOpenAlex for { <https://semopenalex.org/work/W7558436> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W7558436 endingPage "376" @default.
- W7558436 startingPage "357" @default.
- W7558436 abstract "We settle three basic questions that naturally arise when verifying multi-stage functional programs. Firstly, does adding staging to a language compromise any equalities that hold in the base language? Unfortunately it does, and more care is needed to reason about terms with free variables. Secondly, staging annotations, as the name “annotations” suggests, are often thought to be orthogonal to the behavior of a program, but when is this formally guaranteed to be true? We give termination conditions that characterize when this guarantee holds. Finally, do multi-stage languages satisfy useful, standard extensional facts—for example, that functions agreeing on all arguments are equivalent? We provide a sound and complete notion of applicative bisimulation, which establishes such facts or, in principle, any valid program equivalence. These results greatly improve our understanding of staging, and allow us to prove the correctness of quite complicated multi-stage programs." @default.
- W7558436 created "2016-06-24" @default.
- W7558436 creator A5008976751 @default.
- W7558436 creator A5046876389 @default.
- W7558436 date "2012-01-01" @default.
- W7558436 modified "2023-09-23" @default.
- W7558436 title "Reasoning about Multi-stage Programs" @default.
- W7558436 cites W1481546108 @default.
- W7558436 cites W1540909559 @default.
- W7558436 cites W1595243393 @default.
- W7558436 cites W1755589398 @default.
- W7558436 cites W1960887414 @default.
- W7558436 cites W1968024460 @default.
- W7558436 cites W1979328536 @default.
- W7558436 cites W2036753530 @default.
- W7558436 cites W2039744354 @default.
- W7558436 cites W2062813067 @default.
- W7558436 cites W2074423628 @default.
- W7558436 cites W2081276788 @default.
- W7558436 cites W2083044913 @default.
- W7558436 cites W2087929260 @default.
- W7558436 cites W2088735483 @default.
- W7558436 cites W2092367588 @default.
- W7558436 cites W2096348325 @default.
- W7558436 cites W2154697693 @default.
- W7558436 cites W2296536988 @default.
- W7558436 cites W2731085289 @default.
- W7558436 cites W4248334436 @default.
- W7558436 cites W7558436 @default.
- W7558436 doi "https://doi.org/10.1007/978-3-642-28869-2_18" @default.
- W7558436 hasPublicationYear "2012" @default.
- W7558436 type Work @default.
- W7558436 sameAs 7558436 @default.
- W7558436 citedByCount "17" @default.
- W7558436 countsByYear W75584362012 @default.
- W7558436 countsByYear W75584362013 @default.
- W7558436 countsByYear W75584362014 @default.
- W7558436 countsByYear W75584362015 @default.
- W7558436 countsByYear W75584362016 @default.
- W7558436 countsByYear W75584362017 @default.
- W7558436 crossrefType "book-chapter" @default.
- W7558436 hasAuthorship W7558436A5008976751 @default.
- W7558436 hasAuthorship W7558436A5046876389 @default.
- W7558436 hasBestOaLocation W75584361 @default.
- W7558436 hasConcept C118615104 @default.
- W7558436 hasConcept C135315306 @default.
- W7558436 hasConcept C199360897 @default.
- W7558436 hasConcept C2780069185 @default.
- W7558436 hasConcept C33923547 @default.
- W7558436 hasConcept C41008148 @default.
- W7558436 hasConcept C42383842 @default.
- W7558436 hasConcept C55439883 @default.
- W7558436 hasConcept C80444323 @default.
- W7558436 hasConceptScore W7558436C118615104 @default.
- W7558436 hasConceptScore W7558436C135315306 @default.
- W7558436 hasConceptScore W7558436C199360897 @default.
- W7558436 hasConceptScore W7558436C2780069185 @default.
- W7558436 hasConceptScore W7558436C33923547 @default.
- W7558436 hasConceptScore W7558436C41008148 @default.
- W7558436 hasConceptScore W7558436C42383842 @default.
- W7558436 hasConceptScore W7558436C55439883 @default.
- W7558436 hasConceptScore W7558436C80444323 @default.
- W7558436 hasLocation W75584361 @default.
- W7558436 hasLocation W75584362 @default.
- W7558436 hasLocation W75584363 @default.
- W7558436 hasOpenAccess W7558436 @default.
- W7558436 hasPrimaryLocation W75584361 @default.
- W7558436 hasRelatedWork W1550732278 @default.
- W7558436 hasRelatedWork W1967226206 @default.
- W7558436 hasRelatedWork W2063608931 @default.
- W7558436 hasRelatedWork W2069441293 @default.
- W7558436 hasRelatedWork W2155105871 @default.
- W7558436 hasRelatedWork W2260666108 @default.
- W7558436 hasRelatedWork W2326316958 @default.
- W7558436 hasRelatedWork W2511413624 @default.
- W7558436 hasRelatedWork W4213257091 @default.
- W7558436 hasRelatedWork W4312441394 @default.
- W7558436 isParatext "false" @default.
- W7558436 isRetracted "false" @default.
- W7558436 magId "7558436" @default.
- W7558436 workType "book-chapter" @default.