A Formal Model of a Generalized CSP-like Language.
Preben FolkjärDines BjørnerPublished in: IFIP Congress (1980)
Keyphrases
- formal model
- predicate calculus
- constraint satisfaction problems
- programming language
- probabilistic knowledge
- formal models
- natural language
- constraint satisfaction
- constraint propagation
- modeling language
- security properties
- computational linguistics
- security patterns
- tree decomposition
- decomposition methods
- constraint solving
- conceptual models
- constraint networks
- language learning
- object oriented