Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Programming from specifications
Programming from specifications
All recursive types defined using products and sums can be implemented using pointers
AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
A relational model of data for large shared data banks
Communications of the ACM
Visitor combination and traversal control
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Database Systems: The Complete Book
Database Systems: The Complete Book
Scrap your boilerplate: a practical design pattern for generic programming
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
A Strafunski Application Letter
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Polynomial Relators (Extended Abstract)
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Deriving Relational Database Programs from Formal Specifications
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Modularizing the Formal Description of a Database System
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Theory of Relational Databases
Theory of Relational Databases
Coupled Transformation of Schemas, Documents, Queries, and Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
A Case Study in Grammar Engineering
Software Language Engineering
Recovering grammar relationships for the Java Language Specification
Software Quality Control
Type-safe two-level data transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
The transformational approach to database engineering
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Constraint-aware Schema Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
| Hi-index | 0.00 |
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.