LPS: A Language Prototyping System Using Modular Monadic Semantics.
José Emilio Labra GayoMaría Cándida Luengo DíezJuan Manuel Cueva LovelleAgustín Cernuda del RíoPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- logical language
- model theoretic
- specification language
- intended meaning
- deductive databases
- highly expressive
- operational semantics
- logic programming language
- formal language
- programming language
- formal semantics
- denotational semantics
- dynamic logic
- logic programming
- definition language
- formal languages
- disjunctive logic programming
- conditional logic
- speech acts
- natural language
- conceptual model
- semantically equivalent
- aggregate functions
- conceptual graphs
- language learning
- fixed point semantics
- owl ontologies
- uml class diagrams
- proof theory
- semantic representations
- database query languages
- fixpoint
- logic programs
- description logics
- object oriented