Multiple specialization of WAM code

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

Authors

Ferreira, Michel C. (Author) FCUP; Damas, Luís (Author) FCUP

Journal

The Journal is awaiting validation by the Administrative Services.

Title: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Vol. 29

Pages: 243-258

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 3 Citations

Other information

Authenticus ID: P-001-65D

Abstract (EN): Program specialization is normally supported by global analysis of the program. Compilers use the information deduced to generate more efficient, specialized implementations of the program. This specialization can be single or multiple, depending if each procedure of the program is specialized into one or more versions. We present a Prolog compiler that does multiple specialization, using an algorithm that works over the WAM code, deducing the reachable procedure activations based on local analysis. The idea is to use the analysis that is done in the Prolog to WAM compilation, and that generates local specialized instructions, and to propagate this information through the entire program. The creation of multiple versions of predicates allows the propagation to be interprocedural, and to achieve global program specialization. Results from an implementation generating C code as target language are presented, showing a performance comparable to native code Prolog compilers.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16