Andorra-I Compilation

• Type: Article in International Scientific Journal
• Date: 1996

Authors

Costa, VS (Author) FCUP; Warren, DHD (Author) Other; Yang, R (Author) Other

Journal

Title: New Generation Computing

Vol. 14

Pages: 3-30

ISSN: 0288-3635

Publisher: Springer Nature

Indexing

Scopus - 4 Citations

Other information

Authenticus ID: P-007-74W

DOI: 10.1007/BF03037216

Abstract (EN): Andorra-I is an experimental parallel Prolog system which transparently exploits both dependent and-parallelism and or-parallelism. One of the main components of Andorra-I is its preprocessor. In order to obtain efficient execution of programs in Andorra-I, the preprocessor includes a compiler for Andorra-I. The compiler includes a determinacy analyser and a clause compiler, and generates code for a specialised abstract machine. In this paper we discuss the main issues in the Andorra-I compiler, presenting its abstract instruction set and describing the algorithms used in its implementation.

Language: English

Type (Professor's evaluation): Scientific