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
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
