A Controlled Language for the Specification of Contracts.
Gordon J. PaceMichael RosnerPublished in: CNL (2009)
Keyphrases
- specification language
- formal language
- operational semantics
- programming language
- linear temporal logic
- action language
- language learning
- object oriented
- natural language
- high level
- supply chain
- english language
- formal languages
- decision making
- neural network
- computational linguistics
- multi agent
- database systems
- moral hazard