LOGEN
From MaRDI portal
Software:15439
swMATH2901MaRDI QIDQ15439FDOQ15439
Author name not available (Why is that?)
Cited In (14)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fully Automatic Binding-Time Analysis for Prolog
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
- Making ProB Compatible with SWI-Prolog
- Efficient and flexible access control via Jones-optimal logic program specialisation
- Title not available (Why is that?)
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
This page was built for software: LOGEN
