Matches in SemOpenAlex for { <https://semopenalex.org/work/W851446058> ?p ?o ?g. }
- W851446058 abstract "Interpreters and compilers are two different ways of implementing programming languages. An interpreter directly executes its program input. It is a concise definition of the semantics of a programming language and is easily implemented. A compiler translates its program input into another language. It is more difficult to construct, but the code that it generates runs faster than interpreted code. In this dissertation, we propose a transformation-based foundation for deriving compilers from semantic specifications in the form of four rules. These rules give apriori advice for staging, and allow explicit compiler derivation that would be less succinct with partial evaluation. When applied, these rules turn an interpreter that directly executes its program input into a compiler that emits the code that the interpreter would have executed. We formalize the language syntax and semantics to be used for the interpreter and the compiler, and also specify a notion of equality. It is then possible to precisely state the transformation rules and to prove both local and global correctness theorems. And although the transformation rules were developed so as to apply to an interpreter written in a denotational style, we consider how to modify non-denotational interpreters so that the rules apply. Finally, we illustrate these ideas by considering a larger example: a PROLOG implementation." @default.
- W851446058 created "2016-06-24" @default.
- W851446058 creator A5065380624 @default.
- W851446058 date "2014-01-01" @default.
- W851446058 modified "2023-09-27" @default.
- W851446058 title "A Transformation-Based Foundation for Semantics-Directed Code Generation" @default.
- W851446058 cites W10127936 @default.
- W851446058 cites W119298988 @default.
- W851446058 cites W129463497 @default.
- W851446058 cites W130111868 @default.
- W851446058 cites W131352529 @default.
- W851446058 cites W1479857163 @default.
- W851446058 cites W1480878783 @default.
- W851446058 cites W1483568252 @default.
- W851446058 cites W1488709943 @default.
- W851446058 cites W1491178396 @default.
- W851446058 cites W1495226832 @default.
- W851446058 cites W1504434797 @default.
- W851446058 cites W1513250879 @default.
- W851446058 cites W1518650316 @default.
- W851446058 cites W1528193315 @default.
- W851446058 cites W1532750793 @default.
- W851446058 cites W1550946868 @default.
- W851446058 cites W1555697857 @default.
- W851446058 cites W1556604985 @default.
- W851446058 cites W1559402073 @default.
- W851446058 cites W1566968514 @default.
- W851446058 cites W1570949334 @default.
- W851446058 cites W1580664042 @default.
- W851446058 cites W1592287058 @default.
- W851446058 cites W1592367371 @default.
- W851446058 cites W1593666219 @default.
- W851446058 cites W1594912681 @default.
- W851446058 cites W1598074860 @default.
- W851446058 cites W1601555688 @default.
- W851446058 cites W1606360774 @default.
- W851446058 cites W1607247974 @default.
- W851446058 cites W1608933122 @default.
- W851446058 cites W1641025018 @default.
- W851446058 cites W1644882639 @default.
- W851446058 cites W1679133098 @default.
- W851446058 cites W1721908487 @default.
- W851446058 cites W1783388813 @default.
- W851446058 cites W1807590782 @default.
- W851446058 cites W1965802586 @default.
- W851446058 cites W1971471549 @default.
- W851446058 cites W1984820433 @default.
- W851446058 cites W1990347915 @default.
- W851446058 cites W1994099276 @default.
- W851446058 cites W1995674161 @default.
- W851446058 cites W1996081324 @default.
- W851446058 cites W1997143185 @default.
- W851446058 cites W1999336811 @default.
- W851446058 cites W2002301065 @default.
- W851446058 cites W2009775190 @default.
- W851446058 cites W2015077407 @default.
- W851446058 cites W2019722731 @default.
- W851446058 cites W2020563325 @default.
- W851446058 cites W2021137769 @default.
- W851446058 cites W2023299380 @default.
- W851446058 cites W2029408547 @default.
- W851446058 cites W2033805154 @default.
- W851446058 cites W2044549124 @default.
- W851446058 cites W2044862400 @default.
- W851446058 cites W2057731509 @default.
- W851446058 cites W2069820880 @default.
- W851446058 cites W2071927514 @default.
- W851446058 cites W2074268752 @default.
- W851446058 cites W2082962284 @default.
- W851446058 cites W2084099544 @default.
- W851446058 cites W2088735483 @default.
- W851446058 cites W2089674328 @default.
- W851446058 cites W2090036644 @default.
- W851446058 cites W2096314727 @default.
- W851446058 cites W2100648544 @default.
- W851446058 cites W2105815991 @default.
- W851446058 cites W2109507516 @default.
- W851446058 cites W2113547509 @default.
- W851446058 cites W2113757735 @default.
- W851446058 cites W2118229393 @default.
- W851446058 cites W2123586642 @default.
- W851446058 cites W2134291411 @default.
- W851446058 cites W2136500087 @default.
- W851446058 cites W2147578933 @default.
- W851446058 cites W2152318180 @default.
- W851446058 cites W2154069485 @default.
- W851446058 cites W2154273644 @default.
- W851446058 cites W2156429182 @default.
- W851446058 cites W2161151447 @default.
- W851446058 cites W2161160885 @default.
- W851446058 cites W2165693128 @default.
- W851446058 cites W2168315159 @default.
- W851446058 cites W2171433297 @default.
- W851446058 cites W2184914255 @default.
- W851446058 cites W2293168108 @default.
- W851446058 cites W2572804059 @default.
- W851446058 cites W2775480225 @default.
- W851446058 cites W2912273059 @default.
- W851446058 cites W3034566726 @default.
- W851446058 cites W598621860 @default.