Strategic term rewriting and its application to a VDM-SL to SQL conversion

doi:10.1007/11526841_27

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/6435

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Alves, Tiago Miguel Laureano	-
dc.contributor.author	Silva, P. F.	-
dc.contributor.author	Visser, Joost	-
dc.contributor.author	Oliveira, José Nuno Fonseca	-
dc.date.accessioned	2007-05-16T19:36:10Z	-
dc.date.available	2007-05-16T19:36:10Z	-
dc.date.issued	2005	-
dc.identifier.citation	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	eng
dc.identifier.isbn	978-3-540-27882-5	-
dc.identifier.issn	0302-9743	por
dc.identifier.uri	https://hdl.handle.net/1822/6435	-
dc.description.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.	eng
dc.description.sponsorship	Fundação para a Ciência e a Tecnologia (FCT) - POSI/ICHS/44304/2002	por
dc.description.sponsorship	Agência de Inovação (ADI) - ∑!2235	por
dc.language.iso	eng	eng
dc.publisher	Springer Verlag	eng
dc.rights	openAccess	eng
dc.subject	Strateguc term rewriting	eng
dc.subject	Programm calculation	eng
dc.subject	VDM	eng
dc.subject	SQL	eng
dc.subject	strategic term rewriting	por
dc.subject	program calculation	por
dc.title	Strategic term rewriting and its application to a VDM-SL to SQL conversion	eng
dc.type	conferencePaper	eng
dc.peerreviewed	yes	eng
dc.relation.publisherversion	https://doi.org/10.1007/11526841_27	-
oaire.citationStartPage	399	por
oaire.citationEndPage	414	por
oaire.citationVolume	3582	por
dc.identifier.doi	10.1007/11526841_27	-
dc.identifier.eisbn	978-3-540-31714-2	-
dc.subject.wos	Science & Technology	por
sdum.journal	Lecture Notes in Computer Science	por
sdum.conferencePublication	FM 2005: FORMAL METHODS, PROCEEDINGS	por
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

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics