scientific article; zbMATH DE number 1027560
From MaRDI portal
Publication:4343027
zbMath0888.68035MaRDI QIDQ4343027
Publication date: 29 June 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parsingcompilerregister allocationfunctional programming languagesdataflow analysisobject-oriented construct
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 (8)
A formally verified compiler back-end ⋮ A sound strategy to compile general recursion into finite depth pattern matching ⋮ A survey of strategies in rule-based program transformation systems ⋮ A Verified LL(1) Parser Generator ⋮ Partial evaluation of Maple ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ Scoped Dynamic Rewrite Rules
This page was built for publication: