scientific article; zbMATH DE number 1122795

MaRDI QIDQ4379577zbMATH OpenFDO

Authors Andrew W. Appel

Publication date 2 March 1998

zbMATH Keywords

parsingcompilerregister allocationfunctional programming languagesdataflow analysisobject-oriented constant

Mathematics Subject Classification ID

Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of compilers and interpreters (68N20)

Cited in

(5)

• Mechanized verification of computing dominators for formalizing compilers
• Introduction to model checking
• Pattern matching compilation of functions defined in context-free languages
• \texttt{Tenscalc}: a toolbox to generate fast code to solve nonlinear constrained minimizations and compute Nash equilibria
• Lambda-dropping: Transforming recursive equations into programs with block structure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4379577)