{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:57Z","timestamp":1725559557220},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_27","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T12:51:58Z","timestamp":1279457518000},"page":"399-414","source":"Crossref","is-referenced-by-count":7,"title":["Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion"],"prefix":"10.1007","author":[{"given":"T. L.","family":"Alves","sequence":"first","affiliation":[]},{"given":"P. F.","family":"Silva","sequence":"additional","affiliation":[]},{"given":"J.","family":"Visser","sequence":"additional","affiliation":[]},{"given":"J. N.","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Almeida, J.J., Barbosa, L.S., Neves, F.L., Oliveira, J.N.: Bringing Camila and SetCalc Together \u2014 the bams.cam and ppd.cam Camila Toolset demos. Technical report, DI\/UM, Braga(December 1997) [45 p. doc.]"},{"key":"27_CR2","unstructured":"Alves, T., Visser, J.: Development of an industrial strength grammar for VDM. Technical Report DI-PURe-05.04.29, Universidade do Minho (2005)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","first-page":"303","volume-title":"Public Key Cryptography","author":"R.C. Backhouse","year":"2001","unstructured":"Backhouse, R.C., de Bruin, P., Hoogendijk, P., Malcolm, G., Voermans, T.S., van der Woude, J.: Polynomial relators. In: Kim, K.-c. (ed.) PKC 2001. LNCS, vol.\u00a01992, pp. 303\u2013362. Springer, Heidelberg (2001)"},{"key":"27_CR4","unstructured":"Baluta, D.D.: 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)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/3-540-58555-9_123","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"R.S.M. Barros de","year":"1994","unstructured":"de Barros, R.S.M.: Deriving relational database programs from formal specifications. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 703\u2013723. Springer, Heidelberg (1994)"},{"key":"27_CR6","unstructured":"Bjorner, D., Jones, C.B.: Formal Specification and Software Development. In: Hoare, C.A.R. (ed.). Series in Computer Science, Prentice-Hall International, Englewood Cliffs (1982)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-45315-6_11","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: The Rho Cube. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 168\u2013180. Springer, Heidelberg (2001)"},{"key":"27_CR8","volume-title":"Missing Information","author":"E.F. Codd","year":"1990","unstructured":"Codd, E.F.: Missing Information. Addison-Wesley Publishing Company, Inc., Reading (1990)"},{"issue":"6","key":"27_CR9","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Communications of the ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Communications of the ACM"},{"key":"27_CR10","volume-title":"Modelling Systems: Practical Tools and Techniques for Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques for Software Development, 1st edn. Cambridge University Press, Cambridge (1998)","edition":"1"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"VDM \u201990. VDM and Z - Formal Methods in Software Development","author":"J.S. Fitzgerald","year":"1990","unstructured":"Fitzgerald, J.S., Jones, C.B.: Modularizing the formal description of a database system. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol.\u00a0428. Springer, Heidelberg (1990)"},{"key":"27_CR12","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2002","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.D.: Database Systems: The Complete Book. Prentice Hall, Englewood Cliffs (2002); ISBN: 0-13-031995-3"},{"key":"27_CR13","unstructured":"Hoogendijk, P.: A Generic Theory of Data Types. PhD thesis, University of Eindhoven, The Netherlands (1997)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-27764-4_12","volume-title":"Mathematics of Program Construction","author":"G. Hutton","year":"2004","unstructured":"Hutton, G., Wright, J.: Compiling exceptions correctly. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 211\u2013227. Springer, Heidelberg (2004)"},{"key":"27_CR15","unstructured":"ISO. Information technology \u2014 programmming languages, their environments and system software interfaces \u2014 Vienna Development Method \u2014 specification language \u2014 part 1: Base language (December 1996) (ISO\/IEC 13817-1, Geneva)"},{"key":"27_CR16","unstructured":"ISO. Information Technology \u2013 Database languages \u2013 SQL. Reference number ISO\/IEC 9075:1992(E) (November 1992)"},{"key":"27_CR17","unstructured":"Jones, C.B.: Software Development \u2014 A Rigorous Approach. In: Hoare, C.A.R. (ed.) Series in Computer Science, Prentice-Hall International, Englewood Cliffs (1980)"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-44815-2_7","volume-title":"Generative and Component-Based Software Engineering","author":"M. Jonge de","year":"2001","unstructured":"de Jonge, M., Visser, J.: Grammers as contracts. In: Butler, G., Jarzabek, S. (eds.) GCSE 2000. LNCS, vol.\u00a02177, pp. 85\u201399. Springer, Heidelberg (2001)"},{"key":"27_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. Workshop on Language Descriptions, Tools and Applications.","author":"T. Kuipers","year":"2001","unstructured":"Kuipers, T., Visser, J.: Object-oriented tree traversal with JJForester. In: van den Brand, M., Parigot, D. (eds.) Proc. Workshop on Language Descriptions, Tools and Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a044, Elsevier Science, Amsterdam (2001)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R.: Typed Generic Traversal With Term Rewriting Strategies. Journal of Logic and Algebraic Programming\u00a054 (2003)","DOI":"10.1016\/S1567-8326(02)00028-0"},{"key":"#cr-split#-27_CR21.1","doi-asserted-by":"crossref","unstructured":"L??mmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices??38(3), 26???37 (2003);","DOI":"10.1145\/640136.604179"},{"key":"#cr-split#-27_CR21.2","unstructured":"Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI??2003)"},{"key":"27_CR22","unstructured":"L\u00e4mmel, R., Visser, J.: Strategic polymorphism requires just two combinators! Technical Report cs.PL\/0212048, arXiv (December 2002)"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-36388-2_24","volume-title":"Practical Aspects of Declarative Languages","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: A Strafunski application letter. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 357\u2013375. Springer, Heidelberg (2002)"},{"key":"27_CR24","volume-title":"The Theory of Relational Databases","author":"D. Maier","year":"1983","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)"},{"key":"27_CR25","volume-title":"Series in Computer Science","author":"C. Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specification. In: Hoare, C.A.R. (ed.) Series in Computer Science, Prentice-Hall International, Englewood Cliffs (1990)"},{"key":"27_CR26","unstructured":"Necco, C.: Polytypic data processing. Master\u2019s thesis, Facultad de Cs. F\u00edsico Matem\u00e1ticas y Naturales, University of San Luis, Argentina (submitted, 2005)"},{"key":"27_CR27","unstructured":"Neves, F.L., Oliveira, J.N.: ART \u2014 Um Laborat=rio de Reificatpo \u201dGenTtica\u201d. In: IBERAMIA 1998 \u2014 Sixth Ibero-Conference on Artificial Intelligence, Lisbon, Portugal, October 5-9, 1998, pp. 201\u2013215 (1998) (in Portuguese)"},{"key":"27_CR28","unstructured":"Neves, F.L., Silva, J.C., Oliveira, J.N.: Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach. In: VDM in Practice! A Workshop co-located with FM 1999: The World Congress on Formal Methods, Toulouse, France (September 1999)"},{"issue":"1","key":"27_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J.N. Oliveira","year":"1990","unstructured":"Oliveira, J.N.: A reification calculus for model-oriented software specification. Formal Aspects of Computing\u00a02(1), 1\u201323 (1990)","journal-title":"Formal Aspects of Computing"},{"key":"27_CR30","doi-asserted-by":"crossref","unstructured":"Oliveira, J.N.: Software reification using the SETS calculus. In: Denvir, T., Jones, C.B., Shaw, R.C. (eds.) Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, January 8\u201310, 1992, pp. 140\u2013171. Springer, London, UK (1992) (invited paper); ISBN 0387197524","DOI":"10.1007\/978-1-4471-3550-0_8"},{"key":"27_CR31","unstructured":"Oliveira, J.N.: Data processing by calculation, 2001. In: Lecture Notes for the 6th Estonian Winter School in Computer Science, Palmse, Estonia, March 4-9, 2001, pages 108 (2001)"},{"key":"27_CR32","unstructured":"Oliveira, J.N.: Calculate databases with \u2018simplicity\u2019, Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK (September 2004)"},{"key":"27_CR33","volume-title":"Workshops in Computing","author":"W.B. Samson","year":"1992","unstructured":"Samson, W.B., Wakelin, A.W.: Algebraic Specification of Databases: A Survey from a Database Perspective. In: Workshops in Computing. Springer, Glasgow (1992)"},{"key":"27_CR34","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville (1988)"},{"key":"27_CR35","series-title":"ENTCS","volume-title":"Proc. International Workshop on Rewriting Logic and its Applications (WRLA 1998)","author":"E. Visser","year":"1998","unstructured":"Visser, E., Benaissa, Z.: A Core Language for Rewriting. In: Kirchner, C., Kirchner, H. (eds.) Proc. International Workshop on Rewriting Logic and its Applications (WRLA 1998), Pont-\u00e0-Mousson, France, September 1998. ENTCS, vol.\u00a015, Elsevier Science, Amsterdam (1998)"},{"key":"#cr-split#-27_CR36.1","doi-asserted-by":"crossref","unstructured":"Visser, J.: Visitor combination and traversal control. ACM SIGPLAN Notices??36(11), 270???282 (2001);","DOI":"10.1145\/504311.504302"},{"key":"#cr-split#-27_CR36.2","unstructured":"Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA??2001)"},{"key":"27_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0043080","volume-title":"Algebraic Logic and Universal Algebra in Computer Science","author":"E.G. Wagner","year":"1990","unstructured":"Wagner, E.G.: All recursive types defined using products and sums can be implemented using pointers. In: Bergman, C.H., Pigozzi, D.L., Maddux, R.D. (eds.) Algebraic Logic and Universal Algebra in Computer Science. LNCS, vol.\u00a0425. Springer, Heidelberg (1990)"},{"key":"27_CR38","unstructured":"Walshe, A.: NDB: The Formal Specification and Rigorous Design of a Single-User Database System. Prentice Hall, Englewood Cliffs (1990); ISBN 0-13-116088-5"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:55Z","timestamp":1605625615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11526841_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}