Description of Paralocks Language Semantics in TLA+.
Aleksey A. TimakovPublished in: Program. Comput. Softw. (2024)
Keyphrases
- logical language
- specification language
- intended meaning
- highly expressive
- definition language
- operational semantics
- programming language
- formal semantics
- model theoretic
- logic programming language
- formal language
- temporal logic
- action descriptions
- conceptual graphs
- natural language
- high level
- semantic representation
- fixed point semantics
- action language
- formal languages
- speech acts
- logic programming
- conceptual model
- precise definition
- language learning
- dynamic logic
- uml class diagrams
- denotational semantics
- disjunctive logic programming
- modal operators
- conditional logic
- database query languages
- predicate calculus
- deductive databases
- target language
- agent oriented programming language
- representation language
- algebraic operations
- first order logic
- closed world
- modeling language
- description logics
- relational structures