Improving the compilation of prolog to C using moded types and determinism information

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2004). Improving the compilation of prolog to C using moded types and determinism information. In: "6th International Symposium, PADL 2004", June 18-19, 2004, Dallas, TX, USA. ISBN 9783540222538.

Description

Title: Improving the compilation of prolog to C using moded types and determinism information
Author/s:
  • Morales Caballero, José Francisco
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 6th International Symposium, PADL 2004
Event Dates: June 18-19, 2004
Event Location: Dallas, TX, USA
Title of Book: Practical Aspects of Declarative Languages
Date: 2004
ISBN: 9783540222538
Volume: 3057
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds of high-level information, typically obtained via an automatic analysis of the initial Prolog program and expressed in a standardized language of assertions. This information is used to optimize the resulting C code, which is then processed by an off-the-shelf C compiler. The basic translation process essentially mimics the unfolding of a bytecode emulator with respect to the particular bytecode corresponding to the Prolog program. This is facilitated by a flexible design of the instructions and their lower-level components. This approach allows reusing a sizable amount of the machinery of the bytecode emulator: predicates already written in C, data definitions, memory management routines and áreas, etc., as well as mixing emulated bytecode with native code in a relatively straightforward way. We report on the performance of programs compiled by the current versión of the system, both with and without analysis information.

More information

Item ID: 14373
DC Identifier: http://oa.upm.es/14373/
OAI Identifier: oai:oa.upm.es:14373
Official URL: http://link.springer.com/chapter/10.1007/978-3-540-24836-1_7
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 30 Jan 2013 09:55
Last Modified: 21 Apr 2016 14:00
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM