Self-generating program specializers
From MaRDI portal
Publication:407546
DOI10.1016/J.IPL.2010.05.020zbMATH Open1234.68077OpenAlexW2030610257WikidataQ62038245 ScholiaQ62038245MaRDI QIDQ407546FDOQ407546
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
Recommendations
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A formalism for translator interactions
- Title not available (Why is that?)
Cited In (5)
- Combinators for program generation
- Specifying and automatically generating a specialization tool for Fortran 90
- Characterizing Programming Systems Allowing Program Self-reference
- Specifying monogenetic specializers by means of a relation between source and residual programs
- Title not available (Why is that?)
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)
