A regeneration scheme for generating extensions

DOI10.1016/S0020-0190(97)00055-0zbMath1337.68071OpenAlexW2006602789MaRDI QIDQ290228

F. Blanchet-Sadri, M. Dambrine

Publication date: 1 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(97)00055-0

zbMATH Keywords

programming languagespartial evaluationmetacomputationprogram compositionprogram generation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

An investigation of Jones optimality and BTI-universal specializers

Uses Software

• Refal

Cites Work

• Deforestation: Transforming programs to eliminate trees
• The concept of a supercompiler
• Unnamed Item
• Unnamed Item

This page was built for publication: A regeneration scheme for generating extensions