The following pages link to LOGEN (Q15439):
Displaying 14 items.
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- (Q2723916) (← links)
- A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (Q3003494) (← links)
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (Q3591078) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
- Offline specialisation in Prolog using a hand-written compiler generator (Q4819007) (← links)
- (Q5015369) (← links)
- (Q5020649) (← links)
- Making ProB Compatible with SWI-Prolog (Q5038477) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
- Functional and Logic Programming (Q5308015) (← links)
- Fully Automatic Binding-Time Analysis for Prolog (Q5458793) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- Program Development in Computational Logic (Q5712538) (← links)
