A fresh look on semantics of Concurrent State Based Language (ConStaBL).
Karthika VenkatesanSujit Kumar ChakrabartiPublished in: J. Comput. Lang. (2024)
Keyphrases
- intended meaning
- logical language
- programming language
- specification language
- highly expressive
- conceptual graphs
- speech acts
- denotational semantics
- natural language
- logic programming language
- formal language
- operational semantics
- language learning
- conditional logic
- proof theory
- owl ontologies
- target language
- modeling language