The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
Anderson Faustino da SilvaVítor Santos CostaPublished in: ICLP (2006)
Keyphrases
- programming language
- logic programming
- general purpose
- domain specific languages
- object oriented
- lambda calculus
- specification language
- high level
- high level programming language
- software engineering
- strongly typed
- functional programming
- data abstraction
- micron cmos
- java bytecode
- programs written
- programming environment
- functional language
- concurrent programming
- denotational semantics
- database languages
- user interface
- platform independent
- abstract data types
- modal logic
- design process
- database