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. Partial Evaluation and Semantics-Based Program Manipulation, Charleston, United States.

Record type: Conference or Workshop Item (Paper)

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.

Text

ecce_logen_tool.pdf - Other

Download (244kB)

More information

Published date: 2006

Additional Information: Event Dates: January 2006

Venue - Dates: Partial Evaluation and Semantics-Based Program Manipulation, Charleston, United States, 2006-01-01

Keywords: Partial evaluation, partial deduction, Prolog, program transformation, logic programming, web programming

Organisations: Electronics & Computer Science

Learn more about Electronics & Computer Science research

Identifiers

Local EPrints ID: 262652

URI: http://eprints.soton.ac.uk/id/eprint/262652

PURE UUID: c3a2c6ac-7064-45cd-b03d-6dcf6def474a

Catalogue record

Date deposited: 30 May 2006

Last modified: 14 Mar 2024 07:15

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Michael Leuschel

Author: Dan Elphick

Author: Mauricio Varea

Author: Stephen-John Craig

Author: Marc Fontaine

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information