{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:23Z","timestamp":1725484283778},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_5","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"85-108","source":"Crossref","is-referenced-by-count":7,"title":["The L\u00fcbeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications"],"prefix":"10.1007","author":[{"given":"Walter","family":"Dosch","sequence":"first","affiliation":[]},{"given":"S\u00f6nke","family":"Magnussen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"5_CR2","series-title":"Lect Notes Comput Sci","volume-title":"The Munich Project CIP: The Wide Spectrum Language CIP-L","author":"F. L. Bauer","year":"1985","unstructured":"F. L. Bauer, M. Broy, W. Dosch, F. Geiselbrechtinger, W. Hesse, R. Gnatz, B. Krieg-B\u00fcckner, A. Laut, T. Matzner, B. M\u00f6ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. W\u00f6ssner. The Munich Project CIP: The Wide Spectrum Language CIP-L, volume 183 of LNCS. Springer, 1985."},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18779-0","volume-title":"The Munich Project CIP: The Program Transformation System CIP-S","author":"F.L. Bauer","year":"1987","unstructured":"F.L. Bauer, H. Ehler, A. Horsch, B. M\u00f6ller, H. Partsch, O. Paukner, and P. Pepper. The Munich Project CIP: The Program Transformation System CIP-S, volume 292 of LNCS. Springer, 1987."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/32.21743","volume":"15","author":"F.L. Bauer","year":"1989","unstructured":"F.L. Bauer, B. M\u00f6ller, H. Partsch, and P. Pepper. Formal program construction by transformation-computer-aided, intuition-guided programming. IEEE Transactions on Software Engineering, 15:165\u2013180, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"24","key":"5_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"1","author":"M. Burstall","year":"1977","unstructured":"M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal ofthe ACM, 1(24):44\u201367, 1977.","journal-title":"Journal ofthe ACM"},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-60043-4_69","volume-title":"Proceedings ofthe Fourth International Conference on Algebraic Methodology and Software Technology, AMAST\u201995, Montreal, 1995","author":"A. Dold","year":"1995","unstructured":"A. Dold. Representing, verifying and applying software development steps using the PVS system. In V.S. Alagar and M. Nivat, editors, Proceedings ofthe Fourth International Conference on Algebraic Methodology and Software Technology, AMAST\u201995, Montreal, 1995, volume 936 of LNCS, pages 431\u2013435. Springer, 1995."},{"key":"5_CR7","unstructured":"W. Dosch and S. Magnussen. Computer aided fusion for algebraic program derivation. Nordic Journal ofComputing, 9, 2001. (to appear)."},{"key":"5_CR8","unstructured":"M. Feather. A survey and classification of some program transformation approaches and techniques. In L.G.L.T. Meertens, editor, Proceedings TC2 Working Conference on Program Specification and Transformation, pages 165\u2013195. North Holland, 1987."},{"key":"5_CR9","unstructured":"U. Fraus and H. Hussmann. Term induction proofs by a generalisation of narrowing. In C. Rattray and R.G. Clark, editors, The Unified Computation Laboratory, pages 43\u201355. Clarendon Press, 1992."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0304-3975(96)00163-6","volume":"173","author":"S. Kahrs","year":"1997","unstructured":"S. Kahrs, D. Sannella, and A. Tarlecki. The definition of Extended ML: a gentle introduction. Theoretical Computer Science, 173:445\u2013484, 1997.","journal-title":"Theoretical Computer Science"},{"key":"5_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BFb0055142","volume-title":"11th International Conference, TPHOLs\u201998, Canberra, Australia, 1998","author":"M. Lifantsev","year":"1998","unstructured":"M. Lifantsev and L. Bachmair. An LPO-based termination ordering for higherorder terms without \u03bb-abstraction. In J. Grundy and M. Newey, editors, 11th International Conference, TPHOLs\u201998, Canberra, Australia, 1998, volume 1479 of LNCS, pages 277\u2013293. Springer, 1998."},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","first-page":"239","volume-title":"Fundamental Approaches to Software Engineering FASE\u201999","author":"C. L\u00fcth","year":"2004","unstructured":"C. L\u00fcth, H. Tej, Kolyang, and B. Krieg-Br\u00fcckner. TAS and IsaWin: Tools for transformational program development and theorem proving. In J.-P. Finance, editor, Fundamental Approaches to Software Engineering FASE\u201999. Joint European Conferences on Theory and Practice of Software ETAPS\u201999, volume 1577 of LNCS, pages 239\u2013243. Springer, 1999."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0304-3975(92)90310-C","volume":"100","author":"K. Meinke","year":"1992","unstructured":"K. Meinke. Universal algebra in higher types. Theoretical Computer Science, 100:385\u2013417, 1992.","journal-title":"Theoretical Computer Science"},{"key":"5_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-48483-3_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. CASL: a guided tour of its design. In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques. 13th International Workshop, WADT\u201998 Lisbon, Portugal, 1998, volume 1589 of LNCS, pages 216\u2013240. Springer, 1999."},{"key":"5_CR15","unstructured":"S. Owre, N. Shankar, J. M. Rushby, and D.W.J. Stringer-Calvert. PVS system guide. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999."},{"key":"5_CR16","unstructured":"L.C. Paulson. Logic and Computation: Interactive Proofwith Cambridge LCF. Cambridge University Press, 1990."},{"key":"5_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L.C. Paulson","year":"1994","unstructured":"L.C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511811326"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. Rules and strategies for transforming functional and logic programs. ACM Computing Surveys, 28(2):360\u2013414, 1996.","journal-title":"ACM Computing Surveys"},{"key":"5_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-57499-9_25","volume-title":"Formal Program Development (IFIP TC2\/WG 2.1)","author":"D.R. Smith","year":"1993","unstructured":"D.R. Smith. Automating the design of algorithms. In B. M\u00f6ller, editor, Formal Program Development (IFIP TC2\/WG 2.1), volume 755 of LNCS, pages 324\u2013354. Springer, 1993."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook ofTheoretical Computer Science, volume B, pages 675\u2013788. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, H. Partsch, P. Pepper, W. Dosch, and M. Broy. On hierarchies of abstract data types. Acta Informatica, 20:1\u201333, 1983.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:54:44Z","timestamp":1550364884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}