Appel, A. 1984. Semantics-Directed Code Generation. In POPL'84, pp. 315--324. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Semantically-Sensitive Macroprocessing - Maddox (1989) (12 citations) (Correct)
.... is interpreted by a metacircular interpreter (i.e. written in the same language it interprets) that can 13 The purist may object, we believe with justification, that the claim to being semantics directed is lost when an ad hoc code generator is added in this way, though the work of Appel [1] might be applied to make the derivation of the code generator somewhat better grounded in the theory. COMPARISON WITH RELATED WORK 77 be so extended. A crucial idea in Smith s formulation (but see [6] is the reflective tower , a conceptually infinite tower of metacircular interpreters, each ....
Andrew W. Appel. Semantics-directed code generation. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 315--324, 1985.
Compiling with Proofs - Necula (1997) (23 citations) (Correct)
....[18, 17, 37, 38] Other researchers have tackled the problem of compiler correctness by exploring techniques to derive compilers directly from the language semantics. The first attempts were to translate denotation semantics directly to terms which are then executed by an abstract machine [1, 30, 40, 49]. The compilers produced this way were not very competitive with traditional techniques. More advanced systems for semantics directed compiler generation used a two stage language definitions, separating the static semantics used to generate a compiler to intermediate language from the dynamic ....
Appel, A. W. Semantics-directed code generation. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages (1985), pp. 315--324.
Automatic Generation and Management of Program Analyses - Yi (1993) (1 citation) (Correct)
....facilitates the use of abstract interpretation for imperative as well as functional programming languages. 6. 1 Related Works Almost every compiler component has a corresponding automatic tool: LEX [ES86] for the lexical analyzer, YACC [Joh86] and PGS [GK88] for the parser, TWIG [AGT89] and [NN, App85, Ras82] for the code generator, LIGA [Kas90] and [Far86] for the attribute grammar evaluator, and Sharlit [TH92] and GOSpeL GENesis[WS91] for the code optimizer. Collections of compiler component generators have been integrated into single compiler writing systems: ELI [GHLaWMW92] MUG2 [Wil81, ....
Andrew W. Appel. Semantics-directed code generation. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 315--324, 1985.
Re-opening Closures - Andrew Appel (1988) (1 citation) Self-citation (Appel) (Correct)
No context found.
Andrew W. Appel, "Semantics-directed code generation," Twelfth ACM Symp. on Principles of Programming Languages, pp. 315-324, ACM, 1985.
More Advice on Proving a Compiler Correct: Improve a Correct.. - Meijer (1993) (3 citations) (Correct)
No context found.
Appel, A. 1984. Semantics-Directed Code Generation. In POPL'84, pp. 315--324.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC