Using constraint logic programming in memory synthesis for general purpose computers.
Renate BeckmannJürgen HerrmannPublished in: ED&TC (1997)
Keyphrases
- constraint logic programming
- general purpose
- constraint solving
- logic programming language
- answer set programming
- special purpose
- logic programming
- constraint programming
- programming language
- computer systems
- application specific
- constraint propagation
- temporal reasoning
- programming paradigms
- memory requirements
- main memory
- proof theoretic
- databases
- constraint solver
- data model
- relational databases