The design and implementation of the YAP compiler: an optimizing compiler for logic programming languages

Authors:
Anderson Faustino da Silva;Vítor Santos Costa
Affiliations:
Department of Computing and Systems Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brazil;Department of Computing and Systems Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brazil
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 4
Cited 2

Debugging optimized code with dynamic deoptimization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Advanced compiler design and implementation

Advanced compiler design and implementation
Adaptive optimization for self: reconciling high performance with exploratory programming

Adaptive optimization for self: reconciling high performance with exploratory programming

The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems
The finite domain constraint solver of SWI-Prolog

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Programming language designers have always searched for programming languages and features that ease the programming process and improve programmer productivity. One promising approach is logic programming. Logic programming languages, such as Prolog, provide programmers with powerful techniques for writing programs quickly and easily.