Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6435
Título: | Strategic term rewriting and its application to a VDM-SL to SQL conversion |
Autor(es): | Alves, Tiago Miguel Laureano Silva, P. F. Visser, Joost Oliveira, José Nuno Fonseca |
Palavras-chave: | Strateguc term rewriting Programm calculation VDM SQL strategic term rewriting program calculation |
Data: | 2005 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Citação: | Alves, T.L., Silva, P.F., Visser, J., Oliveira, J.N. (2005). Strategic Term Rewriting and Its Application to a VDM-SL to SQL Conversion. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds) FM 2005: Formal Methods. FM 2005. Lecture Notes in Computer Science, vol 3582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11526841_27 |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/6435 |
ISBN: | 978-3-540-27882-5 |
e-ISBN: | 978-3-540-31714-2 |
DOI: | 10.1007/11526841_27 |
ISSN: | 0302-9743 |
Versão da editora: | https://doi.org/10.1007/11526841_27 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fm05vdm_jno.pdf | Documento principal | 300 kB | Adobe PDF | Ver/Abrir |