A Language for the Logical Specification of Processes and Relations.
Luís CairesPublished in: ALP (1996)
Keyphrases
- specification language
- logical structure
- operational semantics
- programming language
- formal language
- high level
- intermediate level
- language constructs
- constraint language
- formal specification
- action language
- logical language
- formal languages
- model theoretic
- conceptual graphs
- linguistic analysis
- process model
- lambda calculus
- predicate calculus
- object oriented programming
- modeling language
- language learning
- relational calculus
- relational data model
- computational linguistics
- formal methods
- dynamic logic
- modelling language
- semantic relations
- natural language