<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Tiago Alves</style></author><author><style face="normal" font="default" size="100%">Paulo Silva</style></author><author><style face="normal" font="default" size="100%">Joost Visser</style></author><author><style face="normal" font="default" size="100%">José Nuno Oliveira</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">John Fitzgerald</style></author><author><style face="normal" font="default" size="100%">Ian Hayes</style></author><author><style face="normal" font="default" size="100%">Andrzej Tarlecki</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion</style></title><secondary-title><style face="normal" font="default" size="100%">FM -  Proceedings of International Symposium of Formal Methods Europe</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July </style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://link.springer.com/chapter/10.1007%2F11526841_27</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/pfsilva/files/fm05.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Newcastle, UK</style></pub-location><volume><style face="normal" font="default" size="100%">3582</style></volume><pages><style face="normal" font="default" size="100%">399-414</style></pages><isbn><style face="normal" font="default" size="100%">3-540-27882-6</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;br /&gt;
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.&lt;/p&gt;
</style></abstract></record></records></xml>