Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)
| Venue: | In Proceedings of the Formal Methods Symposium (FM’05 |
| Citations: | 5 - 5 self |
BibTeX
@INPROCEEDINGS{Alves05strategicterm,
author = {T. L. Alves and P. F. Silva and J. Visser and J. N. Oliveira},
title = {Strategic term rewriting and its application to a VDM-SL to SQL conversion},
booktitle = {In Proceedings of the Formal Methods Symposium (FM’05},
year = {2005},
pages = {399--414},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. Keywords: Strategic term rewriting, program calculation, VDM, SQL. 1
Citations
| 710 | EF: A relational model of data for large shared data banks - Codd - 1998 |
| 177 | Database Systems: The Complete Book - Garcia-Molina, Ullman, et al. - 2003 |
| 34 | P.G.: Modelling Systems – Practical Tools and Techniques in Software Development - Fitzgerald, Larsen |
| 29 | The Rho Cube - Cirstea, Kirchner, et al. - 2001 |
| 27 | der Woude. Polynomial relators - Backhouse, Bruin, et al. - 1992 |
| 26 | Modularizing the formal description of a database system - Fitzgerald, Jones - 1990 |
| 17 | A Generic Theory of Data Types - Hoogendijk - 1997 |
| 14 | Compiling exceptions correctly - Hutton, Wright - 2004 |
| 4 | Deriving relational database programs from formal specifications - Barros - 1994 |
| 3 | Development of an industrial strength grammar for VDM - Alves, Visser - 2005 |
| 2 | A formal Specification in Z of the Relational Data Model, Version 2 - Baluta - 1995 |
| 2 | Missing Information - Codd - 1990 |
| 1 | Bringing Camila and SetCalc Together — thebams.cam andppd.cam Camila Toolset demos - Almeida, Barbosa, et al. - 1997 |
