The Ecce and Logen Partial Evaluators and their Web Interfaces
Leuschel, Michael, Elphick, Dan, Varea, Mauricio, Craig, Stephen-John and Fontaine, Marc (2006) The Ecce and Logen Partial Evaluators and their Web Interfaces. In, Partial Evaluation and Semantics-Based Program Manipulation, Charleston, USA, ACM Press.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (238Kb) |
Description/Abstract
We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications. We also present new implementations of these tools, carried out in Ciao Prolog. In addition to a command-line interface new user-friendly web interfaces were developed. These enable non-expert users to specialise logic programs using a web browser, without the need for a local installation.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: January 2006 |
| Keywords: | Partial evaluation, partial deduction, Prolog, program transformation, logic programming, web programming |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 262652 |
| Date Deposited: | 30 May 2006 |
| Last Modified: | 02 Mar 2012 14:04 |
| Contributors: | Leuschel, Michael (Author) Elphick, Dan (Author) Varea, Mauricio (Author) Craig, Stephen-John (Author) Fontaine, Marc (Author) |
| Date: | 2006 |
| Additional Information: | Event Dates: January 2006 |
| Status: | Published |
| Publisher: | ACM Press |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/262652 |
Actions (login required)
 |
View Item |
