The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
Anderson Faustino da SilvaVítor Santos CostaPublished in: J. Univers. Comput. Sci. (2006)
Keyphrases
- programming language
- logic programming
- object oriented
- general purpose
- strongly typed
- high level
- software engineering
- programming environment
- concurrent programming
- denotational semantics
- lambda calculus
- object oriented programming
- programs written
- domain specific languages
- specification language
- database languages
- functional programming
- data abstraction
- abstract data types
- machine learning
- formal model
- user interface
- relational databases
- program code
- rapid prototyping
- design process
- high level programming language