DPPD
From MaRDI portal
Software:21863
swMATH9884MaRDI QIDQ21863FDOQ21863
Author name not available (Why is that?)
Cited In (14)
- 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
- Fast Offline Partial Evaluation of Large Logic Programs
- A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
- Title not available (Why is that?)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
- 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
