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.

References in zbMATH (referenced in 12 articles , 1 standard article )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir: Control-flow refinement by partial evaluation, and its application to termination and cost analysis (2019)
  2. Vidal, Germán: A hybrid approach to conjunctive partial evaluation of logic programs (2011)
  3. Banda, Gourinath; Gallagher, John P.: Analysis of linear hybrid systems in CLP (2009)
  4. Barker, Steve; Leuschel, Michael; Varea, Mauricio: Efficient and flexible access control via Jones-optimal logic program specialisation (2008)
  5. Fischer, Sebastian; Silva, Josep; Tamarit, Salvador; Vidal, Germán: Preserving sharing in the partial evaluation of lazy functional programs (2008)
  6. Leuschel, Michael; Craig, Stephen-John; Elphick, Dan: Supervising offline partial evaluation of logic programs using online techniques (2007)
  7. Craig, Stephen-John; Gallagher, John P.; Leuschel, Michael; Henriksen, Kim S.: Fully automatic binding-time analysis for Prolog (2005)
  8. Craig, Stephen-John; Leuschel, Michael: LIX: an effective self-applicable partial evaluator for Prolog (2004)
  9. Leuschel, Michael; Craig, Stephen J.; Bruynooghe, Maurice; Vanhoof, Wim: Specialising interpreters using offline partial deduction (2004)
  10. Leuschel, Michael; Jørgensen, Jesper; Vanhoof, Wim; Bruynooghe, Maurice: Offline specialisation in Prolog using a hand-written compiler generator (2004)
  11. Leuschel, Michael; Massart, Thierry: Infinite state model checking by abstract interpretation and program specialisation (2000)
  12. Leuschel, Michael; Jørgensen, Jesper: Efficient specialisation in Prolog using the hand-written compiler generator LOGEN (1999)