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

  title={Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion},
  author={Tiago L. Alves and Paulo F. Silva and Joost Visser and Jos{\'e} Nuno Oliveira},
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. 
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
12 Citations
36 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 36 references

Development — A Rigorous Approach

  • C. B. Jones.Software
  • Series in Computer Science. Prentice-Hall…
  • 1980
Highly Influential
4 Excerpts

Development of an industrial strength grammar for VDM

  • T. Alves, J. Visser
  • Technical Report DI-PURe-05.04.29, Universidade…
  • 2005
1 Excerpt

Polytypic data processing

  • C. Necco
  • Master’s thesis, Facultad de Cs. F ı́sico Mate…
  • 2005
2 Excerpts

Calculate databases with ‘simplicity

  • J. N. Oliveira
  • 2004
3 Excerpts

Similar Papers

Loading similar papers…