Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html

LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach". Basically, the cogen is a system which:

  • 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.

  • you can then use the generating extension to specialise the program in a very efficient manner.

Developed by MichaelLeuschel

CategorySystem | -- EelcoVisser - 04 Mar 2002

Revision: r1.1 - 04 Mar 2002 - 10:51 - EelcoVisser
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback