论文信息 - The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages

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.

Anderson Faustino da Silva | Vítor Santos Costa | V. S. Costa | A. F. Silva

[1] Craig Chambers,et al. Debugging optimized code with dynamic deoptimization , 1992, PLDI '92.

[2] Urs Hölzle,et al. Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages , 1995, OOPSLA.

[3] Steven S. Muchnick,et al. Advanced Compiler Design and Implementation , 1997 .

[4] Urs Hölzle,et al. Adaptive optimization for self: reconciling high performance with exploratory programming , 1994 .

[5] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.