Implementing Relational Specifications in a Constraint Functional Logic Language.
Rudolf BerghammerSebastian FischerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- formal language
- operational semantics
- database language
- delay insensitive
- specification language
- order sorted
- constraint language
- formal descriptions
- asynchronous circuits
- natural language
- programming language
- relational data
- data model
- bounded model checking
- dynamic logic
- relational databases
- semantic constraints
- relational structures
- intuitionistic logic
- language learning
- predicate logic
- model checker
- modal operators
- formal logic
- functional language
- formal verification
- formal semantics
- logic programming
- formal theory
- agent programming
- high level
- predicate calculus
- classical logic
- conceptual models
- relational learning
- finite state machines
- formal specification
- database
- modal logic
- recursive programs
- database schema
- modeling language
- transition systems
- rule engine
- model theoretic
- rewriting rules
- algebraic operations
- object identity
- object oriented
- conditional logic