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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Muchnick, S.S.: Advanced Compiler Design And Implementation. Morgan Kaufmann, San Francisco (1997)
Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, USA (1986)
Agesen, O., Holzle, U.: Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. In: Conference on Object-Oriented, pp. 91–107 (1995)
Hlzle, U., Chambers, C., Ungar, D.: Debugging Optimized Code with Dynamic Deoptimization. In: Proceedings of Conference on Programming Language Design and Implementation, San Francisco, USA, pp. 32–43 (1992)
Holzle, U.: Adaptative Optimization for SELF: Reconciling High Performance with Exploratory Programming. PhD thesis, Stanford University (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
da Silva, A.F., Costa, V.S. (2006). The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_49
Download citation
DOI: https://doi.org/10.1007/11799573_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)