FM 2005: Formal Methods

DOI10.1007/B27882MaRDI QIDQ5716892zbMATH OpenOpenAlexFDO

Authors Tiago L. Alves, Paulo F. Silva, Joost Visser, J. N. Oliveira

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b27882

zbMATH Keywords

SQLVDMprogram calculationStrategic term rewriting

Mathematics Subject Classification ID

Database theory (68P15) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• Using compiler techniques to convert and SQL application for a new DBMS
• Rewriting strategies and strategic rewrite programs
• scientific article; zbMATH DE number 1722718
• scientific article; zbMATH DE number 1231662
• A reification calculus for model-oriented software specification

Cited in

(3)

• Extended Static Checking by Calculation Using the Pointfree Transform
• Using compiler techniques to convert and SQL application for a new DBMS
• Constraint-aware schema transformation

This page was built for publication: FM 2005: Formal Methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716892)