DPPD
From MaRDI portal
Cited in
(19)- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
- Fast offline partial evaluation of logic programs
- Offline specialisation in Prolog using a hand-written compiler generator
- Automatic Generation of Test Inputs for Mercury
- A framework for computing finite SLD trees
- A hybrid approach to conjunctive partial evaluation of logic programs
- Fast Offline Partial Evaluation of Large Logic Programs
- Fast and accurate strong termination analysis with an application to partial evaluation
- COSTA
- LOGEN
- ECCE
- Mercury
- Refal
- scientific article; zbMATH DE number 1497829 (Why is no real title available?)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- scientific article; zbMATH DE number 2090118 (Why is no real title available?)
- Logic program specialisation through partial deduction: Control issues
- Creating specialised integrity checks through partial evaluation of meta-interpreters
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
This page was built for software: DPPD
