scientific article; zbMATH DE number 1122795
From MaRDI portal
Publication:4379577
zbMATH Open0888.68036MaRDI QIDQ4379577FDOQ4379577
Authors: Andrew W. Appel 
Publication date: 2 March 1998
Title of this publication is not available (Why is that?)
parsingcompilerregister allocationfunctional programming languagesdataflow analysisobject-oriented constant
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)
