FM 2005: Formal Methods

DOI10.1007/B27882zbMATH Open1120.68399OpenAlexW1497681073MaRDI QIDQ5716892FDOQ5716892

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

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

zbMATH Keywords

SQLVDMprogram calculationStrategic term rewriting

Mathematics Subject Classification ID

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

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)