Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)
T. L. Alves, P. F. Silva, J. Visser, J. N. Oliveira
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,...