ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994
Published in: ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Keyphrases
- programming language
- logic programming
- lambda calculus
- data abstraction
- high level programming language
- specification language
- object oriented
- general purpose
- functional language
- database languages
- functional programming
- high level
- software engineering
- programming environment
- object oriented programming
- java language
- strongly typed
- concurrent programming
- denotational semantics
- predicate calculus
- predicate logic
- domain specific languages
- programs written
- international workshop
- first order logic
- object oriented concepts
- database management systems
- database