Partial evaluation of computation process -- an approach to a compiler-compiler
From MaRDI portal
Publication:1974455
DOI10.1023/A:1010095604496zbMath1009.68504OpenAlexW2572804059MaRDI QIDQ1974455
Publication date: 18 March 2002
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1010095604496
Related Items (10)
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress) ⋮ Most specific logic programs ⋮ Self-generating program specializers ⋮ Principles of staged static+dynamic partial analysis ⋮ Fast offline partial evaluation of logic programs ⋮ Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Binding-time analysis for both static and dynamic expressions ⋮ Program transformation system based on generalized partial computation ⋮ A portable approach to dynamic optimization in run-time specialization
This page was built for publication: Partial evaluation of computation process -- an approach to a compiler-compiler
