scientific article; zbMATH DE number 1522991
From MaRDI portal
Publication:4511266
Recommendations
- scientific article; zbMATH DE number 815068
- The narrowing-driven approach to functional logic program specialization
- scientific article; zbMATH DE number 1254023
- Transformation by interpreter specialisation
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
Cited in
(9)- Description and improvement of iterative program transformations
- Higher-level supercompilation as a metasystem transition
- Imperative-program transformation by instrumented-interpreter specialization
- Asymptotic speedups, bisimulation and distillation (work in progress)
- Certifying supercompilation for Martin-Löf's type theory
- Efficient demand-driven evaluation. Part 1
- scientific article; zbMATH DE number 1953287 (Why is no real title available?)
- Systematic design of program transformation frameworks by abstract interpretation
- The narrowing-driven approach to functional logic program specialization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511266)
