Andorra-I compilation |
| |
Authors: | Vítor Santos Costa David H D Warren Rong Yang |
| |
Affiliation: | 1. Lab. de Inteligência Artificial e Ciências de Computadores, Universidade do Porto, 4150, Porto, Portugal 2. Department of Computer Science, University of Bristol, BS8 1TR, Bristol, U. K.
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|