Self-generating program specializers
From MaRDI portal
Publication:407546
DOI10.1016/j.ipl.2010.05.020zbMath1234.68077WikidataQ62038245 ScholiaQ62038245MaRDI QIDQ407546
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
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An investigation of Jones optimality and BTI-universal specializers
- On the partial computation principle
- Transformation by interpreter specialisation
- Partial evaluation of computation process -- an approach to a compiler-compiler
- Imperative-program transformation by instrumented-interpreter specialization
- Self-compiling compilers: An appraisal of their implementation and portability
- A formalism for translator interactions