Towards a Formal Semantics for Concurrent Logic Programming Languages.
Lennart BeckmanPublished in: ICLP (1986)
Keyphrases
- formal semantics
- programming language
- concurrent programming
- logic programming
- formal language
- lambda calculus
- operational semantics
- epistemic logic
- denotational semantics
- high level
- general purpose
- object oriented
- software engineering
- er model
- database languages
- strongly typed
- first order logic
- logical language
- theorem prover
- modeling language
- predicate calculus
- programs written
- speech acts
- modal logic
- owl dl ontology
- predicate logic
- machine learning
- high level programming language
- programming language constructs