Strategic term rewriting and its application to a VDM-SL to SQL conversion

We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementatio...

ver descrição completa

Detalhes bibliográficos
Autor principal: Alves, Tiago Miguel Laureano (author)
Outros Autores: Silva, P. F. (author), Visser, Joost (author), Oliveira, José Nuno Fonseca (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2005
Assuntos:
Strateguc term rewriting
Programm calculation
VDM
SQL
strategic term rewriting
program calculation
Science & Technology
Texto completo:http://hdl.handle.net/1822/6435
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/6435

Texto Completo

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

Registos relacionados