LOGEN
From MaRDI portal
Software:15439
No author found.
Related Items (14)
Making ProB Compatible with SWI-Prolog ⋮ Unnamed Item ⋮ Offline specialisation in Prolog using a hand-written compiler generator ⋮ Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs ⋮ Program Development in Computational Logic ⋮ Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques ⋮ Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ Fully Automatic Binding-Time Analysis for Prolog ⋮ Functional and Logic Programming ⋮ Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
This page was built for software: LOGEN
