Cited in
(19)- A hybrid approach to conjunctive partial evaluation of logic programs
- Efficient and flexible access control via Jones-optimal logic program specialisation
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
- Making ProB Compatible with SWI-Prolog
- Control-flow refinement by partial evaluation, and its application to termination and cost analysis
- Analysis of Linear Hybrid Systems in CLP
- Solving non-linear Horn clauses using a linear Horn clause solver
- ECCE
- DPPD
- HSF
- SIMP
- NRL
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
- Offline specialisation in Prolog using a hand-written compiler generator
- Functional and Logic Programming
- Program Development in Computational Logic
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
- scientific article; zbMATH DE number 1615252 (Why is no real title available?)
- Fully Automatic Binding-Time Analysis for Prolog
This page was built for software: LOGEN
