scientific article; zbMATH DE number 1122795
From MaRDI portal
Publication:4379577
zbMath0888.68036MaRDI QIDQ4379577
Publication date: 2 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parsingcompilerregister allocationfunctional programming languagesdataflow analysisobject-oriented constant
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)
Related Items (5)
Introduction to Model Checking ⋮ Mechanized Verification of Computing Dominators for Formalizing Compilers ⋮ Pattern matching compilation of functions defined in context-free languages ⋮ Lambda-dropping: Transforming recursive equations into programs with block structure ⋮ \texttt{Tenscalc}: a toolbox to generate fast code to solve nonlinear constrained minimizations and compute Nash equilibria
This page was built for publication:
