DPPD
From MaRDI portal
Software:21863
No author found.
Related Items (14)
Offline specialisation in Prolog using a hand-written compiler generator ⋮ Fast offline partial evaluation of logic programs ⋮ Unnamed Item ⋮ A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs ⋮ Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation ⋮ Unnamed Item ⋮ A framework for computing finite SLD trees ⋮ Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques ⋮ Conjunctive partial deduction: foundations, control, algorithms, and experiments ⋮ Automatic Generation of Test Inputs for Mercury ⋮ Fast Offline Partial Evaluation of Large Logic Programs ⋮ 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
