Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion

in terms
Citation:
Alves T, Silva P, Visser J, Oliveira JN.  2005.  Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM - Proceedings of International Symposium of Formal Methods Europe. 3582:399-414.

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

July

Abstract:

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 implementation technology is strategic term rewriting in Haskell, as supported by the Strafunski bundle. Due to these choices of theory and technology, the road from theory to practise is straightforward.

Website

Citation Key:

DBLP:conf/fm/AlvesSVO05

DOI:

10.1007/11526841_27

PreviewAttachmentSize
fm05.pdf300 KB