PARMA - BRIDGING THE PERFORMANCE GAP BETWEEN IMPERATIVE AND LOGIC PROGRAMMING

Authors
TAYLOR A
Citation
A. Taylor, PARMA - BRIDGING THE PERFORMANCE GAP BETWEEN IMPERATIVE AND LOGIC PROGRAMMING, The journal of logic programming, 29(1-3), 1996, pp. 5-16
Citations number
15
Categorie Soggetti
Computer Sciences, Special Topics","Computer Science Theory & Methods
Journal title
The journal of logic programming → ACNP
ISSN journal
07431066
Volume
29
Issue
1-3
Year of publication
1996
Pages
5 - 16
Database
ISI
SICI code
0743-1066(1996)29:1-3<5:P-BTPG>2.0.ZU;2-V
Abstract
Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture [4]. It was the first logic programming implementat ion to obtain performance comparable to imperative languages. It depen ds heavily on a global static analysis phase based on abstract interpr etation. This paper describes the important components of Parma's impl ementation and discusses performance results, including analysis of th e incremental benefits of some components of the compiler.