DPPD
From MaRDI portal
swMATH9884MaRDI QIDQ21863FDOQ21863
Author name not available (Why is that?)
Official website: http://users.ecs.soton.ac.uk/mal/systems/dppd.html
Cited In (16)
- Offline specialisation in Prolog using a hand-written compiler generator
- Automatic Generation of Test Inputs for Mercury
- Fast offline partial evaluation of logic programs
- 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
- Title not available (Why is that?)
- Mercury
- Refal
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- Title not available (Why is that?)
- 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
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
This page was built for software: DPPD
