Transformation by interpreter specialisation
From MaRDI portal
Recommendations
Cited in
(17)- scientific article; zbMATH DE number 1522991 (Why is no real title available?)
- Self-generating program specializers
- Compiler to interpreter: Experiences with a distributed programming language
- Program Development in Computational Logic
- An investigation of Jones optimality and BTI-universal specializers
- Specifying monogenetic specializers by means of a relation between source and residual programs
- Type specialisation for imperative languages
- Imperative-program transformation by instrumented-interpreter specialization
- scientific article; zbMATH DE number 7453197 (Why is no real title available?)
- Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation
- Solving non-linear Horn clauses using a linear Horn clause solver
- How to control unfolding when specializing interpreters
- Annotation of logic programs for independent AND-parallelism by partial evaluation
- Asymptotic speedups, bisimulation and distillation (work in progress)
- Call-pattern specialisation for Haskell programs
- Static and dynamic program compilation by interpreter specialization
- From Interpretation to Compilation
This page was built for publication: Transformation by interpreter specialisation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887680)
