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