Self-generating program specializers

DOI10.1016/J.IPL.2010.05.020MaRDI QIDQ407546zbMATH OpenOpenAlexWikidataFDO

Authors Robert Glück

Publication date 27 March 2012

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

Full work available at URL https://doi.org/10.1016/j.ipl.2010.05.020

zbMATH Keywords

programming languagesmetacomputationpartial evaluationprogram generationself-reproduction

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087860
• scientific article; zbMATH DE number 1955914
• Static Analysis
• Publication:4730751
• scientific article; zbMATH DE number 25188
• Programmable program synthesis
• Combinators for program generation

Cites work

• scientific article; zbMATH DE number 1339873 (Why is no real title available?)
• scientific article; zbMATH DE number 1953282 (Why is no real title available?)
• scientific article; zbMATH DE number 3798996 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3194108 (Why is no real title available?)
• A formalism for translator interactions
• An investigation of Jones optimality and BTI-universal specializers
• Imperative-program transformation by instrumented-interpreter specialization
• On the partial computation principle
• Partial evaluation of computation process -- an approach to a compiler-compiler
• Self-compiling compilers: An appraisal of their implementation and portability
• Transformation by interpreter specialisation

Cited in

(6)

• Specifying and automatically generating a specialization tool for Fortran 90
• Combinators for program generation
• Characterizing Programming Systems Allowing Program Self-reference
• Specifying monogenetic specializers by means of a relation between source and residual programs
• scientific article; zbMATH DE number 177793 (Why is no real title available?)
• Bootstrapping compiler generators from partial evaluators

This page was built for publication: Self-generating program specializers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q407546)