Matches in SemOpenAlex for { <https://semopenalex.org/work/W2549947687> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2549947687 abstract "Abstract We settle three basic questions that naturally arise when verifying code generators written in multi-stage functional programming languages. First, 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. Second, 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 properties, for example, that functions agreeing on all arguments are equivalent? We provide a sound and complete notion of applicative bisimulation, which establishes such properties or, in principle, any valid program equivalence. These results yield important insights into staging and allow us to prove the correctness of quite complicated multi-stage programs." @default.
- W2549947687 created "2016-11-30" @default.
- W2549947687 creator A5008976751 @default.
- W2549947687 creator A5046876389 @default.
- W2549947687 date "2016-01-01" @default.
- W2549947687 modified "2023-10-18" @default.
- W2549947687 title "Reasoning about multi-stage programs" @default.
- W2549947687 cites W1435690364 @default.
- W2549947687 cites W1495872178 @default.
- W2549947687 cites W1540909559 @default.
- W2549947687 cites W1546532908 @default.
- W2549947687 cites W1550102629 @default.
- W2549947687 cites W1755589398 @default.
- W2549947687 cites W1968024460 @default.
- W2549947687 cites W1973030866 @default.
- W2549947687 cites W1975082667 @default.
- W2549947687 cites W1979328536 @default.
- W2549947687 cites W1986454448 @default.
- W2549947687 cites W1990204174 @default.
- W2549947687 cites W2009354615 @default.
- W2549947687 cites W2018181305 @default.
- W2549947687 cites W2020217406 @default.
- W2549947687 cites W2023149698 @default.
- W2549947687 cites W2039112578 @default.
- W2549947687 cites W2039744354 @default.
- W2549947687 cites W2068387516 @default.
- W2549947687 cites W2074423628 @default.
- W2549947687 cites W2083044913 @default.
- W2549947687 cites W2087929260 @default.
- W2549947687 cites W2088735483 @default.
- W2549947687 cites W2092367588 @default.
- W2549947687 cites W2096970061 @default.
- W2549947687 cites W2097249860 @default.
- W2549947687 cites W2117161590 @default.
- W2549947687 cites W2123092976 @default.
- W2549947687 cites W2137628566 @default.
- W2549947687 cites W2147578933 @default.
- W2549947687 cites W2150022661 @default.
- W2549947687 cites W2165735954 @default.
- W2549947687 cites W2166089338 @default.
- W2549947687 cites W2168989922 @default.
- W2549947687 cites W2249290787 @default.
- W2549947687 cites W2731085289 @default.
- W2549947687 cites W2949381378 @default.
- W2549947687 cites W3006681445 @default.
- W2549947687 cites W3101309945 @default.
- W2549947687 cites W3121592511 @default.
- W2549947687 cites W4248334436 @default.
- W2549947687 cites W7558436 @default.
- W2549947687 doi "https://doi.org/10.1017/s0956796816000253" @default.
- W2549947687 hasPublicationYear "2016" @default.
- W2549947687 type Work @default.
- W2549947687 sameAs 2549947687 @default.
- W2549947687 citedByCount "1" @default.
- W2549947687 countsByYear W25499476872019 @default.
- W2549947687 crossrefType "journal-article" @default.
- W2549947687 hasAuthorship W2549947687A5008976751 @default.
- W2549947687 hasAuthorship W2549947687A5046876389 @default.
- W2549947687 hasBestOaLocation W25499476871 @default.
- W2549947687 hasConcept C118615104 @default.
- W2549947687 hasConcept C135315306 @default.
- W2549947687 hasConcept C199360897 @default.
- W2549947687 hasConcept C2780069185 @default.
- W2549947687 hasConcept C33923547 @default.
- W2549947687 hasConcept C41008148 @default.
- W2549947687 hasConcept C42383842 @default.
- W2549947687 hasConcept C55439883 @default.
- W2549947687 hasConcept C80444323 @default.
- W2549947687 hasConceptScore W2549947687C118615104 @default.
- W2549947687 hasConceptScore W2549947687C135315306 @default.
- W2549947687 hasConceptScore W2549947687C199360897 @default.
- W2549947687 hasConceptScore W2549947687C2780069185 @default.
- W2549947687 hasConceptScore W2549947687C33923547 @default.
- W2549947687 hasConceptScore W2549947687C41008148 @default.
- W2549947687 hasConceptScore W2549947687C42383842 @default.
- W2549947687 hasConceptScore W2549947687C55439883 @default.
- W2549947687 hasConceptScore W2549947687C80444323 @default.
- W2549947687 hasLocation W25499476871 @default.
- W2549947687 hasLocation W25499476872 @default.
- W2549947687 hasLocation W25499476873 @default.
- W2549947687 hasOpenAccess W2549947687 @default.
- W2549947687 hasPrimaryLocation W25499476871 @default.
- W2549947687 hasRelatedWork W1967226206 @default.
- W2549947687 hasRelatedWork W1985198438 @default.
- W2549947687 hasRelatedWork W204839799 @default.
- W2549947687 hasRelatedWork W2063608931 @default.
- W2549947687 hasRelatedWork W2155105871 @default.
- W2549947687 hasRelatedWork W2326316958 @default.
- W2549947687 hasRelatedWork W2912462169 @default.
- W2549947687 hasRelatedWork W4213257091 @default.
- W2549947687 hasRelatedWork W4238823939 @default.
- W2549947687 hasRelatedWork W4312441394 @default.
- W2549947687 hasVolume "26" @default.
- W2549947687 isParatext "false" @default.
- W2549947687 isRetracted "false" @default.
- W2549947687 magId "2549947687" @default.
- W2549947687 workType "article" @default.