Specification of Logic Programming Languages from Reusable Semantic Building Blocks.
José Emilio Labra GayoJuan Manuel Cueva LovelleMaría Cándida Luengo DíezAgustín Cernuda del RíoPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- building blocks
- programming language
- high level
- specification language
- logic programming
- software components
- lambda calculus
- denotational semantics
- general purpose
- database languages
- object oriented
- strongly typed
- operational semantics
- programming environment
- modal logic
- concurrent programming
- object oriented programming
- data abstraction
- software engineering
- high level programming language
- object oriented concepts
- formal specification
- functional programming
- domain specific languages
- database query languages
- program code
- programs written
- programming language constructs
- databases
- predicate logic
- abstract data types
- semantic network
- expressive power
- query language
- knowledge base