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...

Full description

Bibliographic Details
Main Author: Alves, Tiago Miguel Laureano (author)
Other Authors: Silva, P. F. (author), Visser, Joost (author), Oliveira, José Nuno Fonseca (author)
Format: conferencePaper
Language:eng
Published: 2005
Subjects:
Strateguc term rewriting
Programm calculation
VDM
SQL
strategic term rewriting
program calculation
Science & Technology
Online Access:http://hdl.handle.net/1822/6435
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/6435

Internet

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

Similar Items