Strategic term rewriting and its application to a Vdm-sl to Sql conversion

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 399-414

  Alves, T L ^a   Silva, P F ^a   Visser, J ^a   Oliveira, J N ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

Program calculation; Sql; Strategic term rewriting; Vdm

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; THEOREM PROVING;

PROGRAM CALCULATION; SQL; STRATEGIC TERM REWRITING; VDM;

LOGIC PROGRAMMING;

EID: 26444488586     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_27     Document Type: Conference Paper

References (38)

1. J.J. Almeida, L.S. Barbosa, F.L. Neves, and J.N. Oliveira. Bringing Camila and SetCalc Together - the bams. cam and ppd. cam Camila Toolset demos. Technical report, DI/UM, Braga, December 1997. [45 p. doc.].
2. T. Alves and J. Visser. Development of an industrial strength grammar for VDM. Technical Report DI-PURe-05.04.29, Universidade do Minho, 2005.
3. R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, and J. van der Woude. Polynomial relators. In 2nd Int. Conf. Algebraic Methodology and Software Technology (AMAST'91), pages 303-362. Springer LNCS, 1992.
4. D. D. Baluta. A formal specification in Z of the relational data model, Version 2, of E.F. Codd. M. Sc. thesis, Concordia University, Montreal, QC, Canada, 1995.
5. R.S.M. de Barros. Deriving relational database programs from formal specifications. In Maurice Naftalin, B. Tim Denvir, and Miquel Bertran, editors, FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, volume 873 of Lecture Notes in Computer Science, pages 703-723. Springer, 1994.
6. D. Bjomer and C.B. Jones. Formal Specification and Software Development. Series in Computer Science. Prentice-Hall International, 1982. C.A.R. Hoare, ed.
7. H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In Furio Honsell, editor, Foundations of Software Science and Computation Structures, ETAPS'2001, Lecture Notes in Computer Science, pages 166-180, Genova, Italy, April 2001. Springer-Verlag.
8. E. F. Codd. Missing Information. Addison-Wesley Publishing Company, Inc., 1990.
9. E.F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, June 1970.
10. J. Fitzgerald and P.G. Larsen. Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, 1st edition, 1998.
11. J.S. Fitzgerald and C.B. Jones. Modularizing the formal description of a database system, volume 428 of Lecture Notes in Computer Science. Springer, 1990.
12. H. Garcia-Molina, J. D. Ullman, and J. D. Widom. Database Systems: The Complete Book. Prentice Hall, 2002. ISBN: 0-13-031995-3.
13. P. Hoogendijk. A Generic Theory of Data Types. PhD thesis, University of Eindhoven, The Netherlands, 1997.
14. G. Hutton and J. Wright. Compiling exceptions correctly. In Dexter Kozen and Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, volume 3125 of Lecture Notes in Computer Science, pages 211-227. Springer, 2004.
15. ISO. Information technology - programmming languages, their environments and system software interfaces - Vienna Development Method - specification language - part 1: Base language, Dec. 1996. (ISO/IEC 13817-1, Geneva).
16. ISO. Information Technology - Database languages - SQL. Reference number ISO/IEC 9075:1992(E), Nov. 1992.
17. C.B. Jones. Software Development - A Rigorous Approach. Series in Computer Science. Prentice-Hall International, 1980. C.A. R. Hoare.
18. M. de Jonge and J. Visser. Grammars as contracts. In Proceedings of the Second International Conference on Generative and Component-based Software Engineering (GCSE 2000), volume 2177 of Lecture Notes in Computer Science, pages 85-99. Springer, 2000.
19. T. Kuipers and J. Visser. Object-oriented tree traversal with JJForester. In M. van den Brand and D. Parigot, editors, Electronic Notes in Theoretical Computer Science, volume 44. Elsevier Science, 2001. Proc. Workshop on Language Descriptions, Tools and Applications.
20. R. Lämmel. Typed Generic Traversal With Term Rewriting Strategies. Journal of Logic and Algebraic Programming, 54, 2003.
21. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, March 2003. Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).
22. R. Lämmel and J. Visser. Strategic polymorphism requires just two combinators! Technical Report cs.PL/0212048, arXiv, December 2002.
23. R. Lämmel and J. Visser. A Strafunski Application Letter. In V. Dahl and P. Wadler, editors, Proc. of Practical Aspects of Declarative Programming (PADL'03), volume 2562 of LNCS, pages 357-375. Springer-Verlag, January 2003.
24. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.
25. C. Morgan. Programming from Specification. Series in Computer Science. Prentice-Hall International, 1990. C.A. R. Hoare, series editor.
26. C. Necco. Polytypic data processing. Master's thesis, Facultad de Cs. Físico Matemáticas y Naturales, University of San Luis, Argentina, 2005. (Submitted.).
27. F.L. Neves and J.N. Oliveira. ART - Um Laborat=rio de Reificatpo "GenTtica". In IBERAMIA'98 - Sixth Ibero-Conference on Artificial Intelligence, pages 201-215, Lisbon, Portugal, October 5-9 1998. (in Portuguese).
28. F.L. Neves, J.C. Silva, and J.N. Oliveira. Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach. In VDM in Practice! A Workshop co-located with FM'99: The World Congress on Formal Methods, Toulouse, France, September 1999.
29. J.N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1): 1-23, April 1990.
30. J.N. Oliveira. Software reification using the SETS calculus. In Tim Denvir, Cliff B. Jones, and Roger C. Shaw, editors, Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK, pages 140-171. ISBN 0387197524, Springer-Verlag, 8-10 January 1992. (Invited paper).
31. J.N. Oliveira. Data processing by calculation, 2001. 108 pages. Lecture Notes for the 6th Estonian Winter School in Computer Science, 4-9 March 2001, Palmse, Estonia.
32. J.N. Oliveira. Calculate databases with 'simplicity', September 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
33. W.B. Samson and A.W. Wakelin. Algebraic Specification of Databases: A Survey from a Database Perspective. Workshops in Computing. Springer Verlag, Glasgow, 1992.
34. J. D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.
35. E. Visser and Z. Benaissa. A Core Language for Rewriting. In C. Kirchner and H. Kirchner, editors, Proc. International Workshop on Rewriting Logic and its Applications (WRLA'98), volume 15 of ENTCS, Pont-à-Mousson, France, September 1998. Elsevier Science.
36. J. Visser. Visitor combination and traversal control. ACM SIGPLAN Notices, 36(11):270-282, 2001. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2001).
37. E. G. Wagner. All recursive types defined using products and sums can be implemented using pointers. In Clifford Bergman, Roger D. Maddux, and Don Pigozzi, editors, Algebraic Logic and Universal Algebra in Computer Science, volume 425 of Lecture Notes in Computer Science. Springer, 1990.
38. A. Walshe. NDB: The Formal Specification and Rigorous Design of a Single-User Database System. Prentice Hall, ISBN 0-13-116088-5, 1990.