LOGEN is an offline partial evaluation system for Prolog written using the so called ”cogen approach”. Basically, the cogen is a system which: 1. based upon an annotated version of the program to be specialised produces a specialised partial evaluator for that program. This partial evaluator is called a generating extension. 2. the generating extension can be used to specialise the program in a very efficient manner. Try out Logen without having to install it on your machine by clicking on the picture above.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
- Vidal, Germán: A hybrid approach to conjunctive partial evaluation of logic programs (2011)
- Barker, Steve; Leuschel, Michael; Varea, Mauricio: Efficient and flexible access control via Jones-optimal logic program specialisation (2008)
- Leuschel, Michael; Craig, Stephen-John; Elphick, Dan: Supervising offline partial evaluation of logic programs using online techniques (2007)
- Craig, Stephen-John; Gallagher, John P.; Leuschel, Michael; Henriksen, Kim S.: Fully automatic binding-time analysis for Prolog (2005)
- Craig, Stephen-John; Leuschel, Michael: LIX: an effective self-applicable partial evaluator for Prolog (2004)
- Leuschel, Michael; Craig, Stephen J.; Bruynooghe, Maurice; Vanhoof, Wim: Specialising interpreters using offline partial deduction (2004)
- Leuschel, Michael; Jørgensen, Jesper; Vanhoof, Wim; Bruynooghe, Maurice: Offline specialisation in Prolog using a hand-written compiler generator (2004)
- Leuschel, Michael; Massart, Thierry: Infinite state model checking by abstract interpretation and program specialisation (2000)
- Leuschel, Michael; Jørgensen, Jesper: Efficient specialisation in Prolog using the hand-written compiler generator LOGEN (1999)