Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.
Shail Aditya ArvindJoseph E. StoyPublished in: FPCA (1995)
Keyphrases
- logical language
- specification language
- intended meaning
- operational semantics
- formal language
- highly expressive
- logic programming language
- definition language
- conceptual graphs
- proof theory
- formal semantics
- dynamic logic
- programming language
- denotational semantics
- formal languages
- natural language
- uml class diagrams
- disjunctive logic programming
- conditional logic
- model theoretic
- parallel processing
- natural language processing
- language learning
- action language
- fixed point semantics
- semantically equivalent
- closed world
- owl ontologies
- speech acts
- modal operators
- default reasoning
- algebraic operations
- distributed memory
- semantic structure
- agent communication
- online learning
- relational structures
- high level
- predicate calculus