Constraint-aware schema transformation

Ninth International Workshop on Rule-Based Programming (Rule 2008)

Bibliographic Details
Main Author: Alves, Tiago L. (author)
Other Authors: Silva, Paulo F. (author), Visser, Joost (author)
Format: article
Language:eng
Published: 2012
Subjects:
Schema transformation
Invariants
Data refinement
Strategic term rewriting
Point-free program transformation
Haskell
Constraints
Strategic rewriting
Science & Technology
Online Access:http://hdl.handle.net/1822/26605
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/26605

Internet

http://hdl.handle.net/1822/26605

Similar Items