Constraint-aware schema transformation

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

Detalhes bibliográficos
Autor principal: Alves, Tiago L. (author)
Outros Autores: Silva, Paulo F. (author), Visser, Joost (author)
Formato: article
Idioma:eng
Publicado em: 2012
Assuntos:
Schema transformation
Invariants
Data refinement
Strategic term rewriting
Point-free program transformation
Haskell
Constraints
Strategic rewriting
Science & Technology
Texto completo:http://hdl.handle.net/1822/26605
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/26605
Descrição
Resumo:Ninth International Workshop on Rule-Based Programming (Rule 2008)

Registos relacionados