Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013)
This is the latest version of this item.
Download (382kB) | Preview
Download (183kB) | Preview
We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks. The main idea is to consider classes of constraint networks as algebras whose operators are used to denote constraint networks with terms. Constraint network transformations such as constraint propagations are specified with rewrite rules exploiting the network’s structure provided by terms.
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Research Area:||Computer Science and Applications|
|Depositing User:||Users 30 not found.|
|Date Deposited:||12 Dec 2013 13:11|
|Last Modified:||12 Dec 2013 13:11|
Available Versions of this Item
Constraint Design Rewriting. (deposited 31 Jul 2013 07:12)
- Constraint Design Rewriting. (deposited 12 Dec 2013 13:11) [Currently Displayed]
Actions (login required)