{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:31Z","timestamp":1742913631477,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014676","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"421-463","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Examples for change of types and object structures"],"prefix":"10.1007","author":[{"given":"H.","family":"Partsch","sequence":"first","affiliation":[]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"27_CR1","unstructured":"F.L. Bauer: Design of a Programming Language for a Program Transformation System. This volume."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7722, 1977","DOI":"10.1007\/978-3-642-87956-2_5"},{"key":"27_CR3","unstructured":"F. L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Notes on the Project CIP: Outline of a Transformation System. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7729, 1977"},{"issue":"12","key":"27_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/954587.954588","volume":"13","author":"F.L. Bauer","year":"1978","unstructured":"F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner, H. Partsch, P. Pepper, H. W\u00f6ssner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. SIGPLAN Notices 13 (12), 15\u201324 (1978). This volume","journal-title":"SIGPLAN Notices"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"G. Birkhoff, J.D. Lipson: Heterogeneous Algebras. J. of Combinatorial Theory 8, 115\u2013133 (1970)","journal-title":"J. of Combinatorial Theory"},{"key":"27_CR6","unstructured":"R.M. Burstall, J.A. Goguen: Putting Theories together to Make Specifications. Proceedings of the Int. Joint Conf. on Artificial Intelligence 1977"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF00289073","volume":"9","author":"C.H. Correll","year":"1978","unstructured":"C.H. Correll: Proving Programs Correct through Refinement. Acta Informatica 9, 121\u2013132 (1978)","journal-title":"Acta Informatica"},{"key":"27_CR8","volume-title":"SIMULA 67 Common Base Language","author":"O.-J. Dahl","year":"1968","unstructured":"O.-J. Dahl, B. Myhrhaug, K. Nygaard: SIMULA 67 Common Base Language. Norwegian Computing Center, Oslo, May 1968"},{"key":"27_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra: A Discipline of Programming. Englewood Cliffs, N.J.: Prentice-Hall, 1976"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.J. Kreowski, P. Padawitz: Stepwise specification and implementation of abstract data types. In: G. Ausiello, C. B\u00f6hm (eds): Automata, Languages and Programming. Proc. 5th Colloquium, Udine, July 1978. Springer Lecture Notes on Computer Science 62","DOI":"10.1007\/3-540-08860-1_16"},{"key":"27_CR11","volume-title":"Current trends in programming methodology, Vol. 3","author":"J.A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: R.T. Yeh (ed.): Current trends in programming methodology, Vol. 3, Data Structuring, N.J.: Prentice Hall, 1978"},{"key":"27_CR12","unstructured":"J.V. Guttag: The Specification and Application to Programming of Abstract Data Types. Ph. D. Th., Univ. of Toronto, Dept. Comp. Sci., Rep. CSRG-59, 1975"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser: Abstract Data Types and Software Validation. USC\/Information Sciences Institute, RR-76-48 (1976)","DOI":"10.21236\/ADA029896"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser: The Design of Data Type Specifications. USC\/Information Sciences Institute, RR-76-49 (1976)","DOI":"10.21236\/ADA034827"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"J.V. Guttag, J.J. Horning: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27\u201352 (1978)","journal-title":"Acta Informatica"},{"key":"27_CR16","unstructured":"F.W. von Henke: On Generating Programs from Data Types: An Approach to Automatic Programming. In: G. Huet, G. Kahn (eds.): Proving and Improving Programs. Colloques IRIA, Arc et Senans, 1\u20133 juillet 1975"},{"issue":"4","key":"27_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Proof of Correctness of Data Representations. Acta Informatica 1: 4, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"27_CR18","unstructured":"C.A.R. Hoare: Recursive Data Structures. Stanford University, A.I.Lab., Stan-CS-73-400, Oct. 1973"},{"key":"27_CR19","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1969","unstructured":"D.E. Knuth: The Art of Computer Programming. Reading, Mass: Addison-Wesley, 1969"},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0020-0190(74)90001-5","volume":"2","author":"D.E. Knuth","year":"1974","unstructured":"D.E. Knuth, J.L. Szwarcfiter: A Structured Program to Generate all Topological Sorting Arrangements. Inf. Proc. Letters 2, 153\u2013157 (1974)","journal-title":"Inf. Proc. Letters"},{"key":"27_CR21","unstructured":"B. Krieg-Br\u00fcckner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7805, 1978"},{"issue":"2","key":"27_CR22","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1005888.1005889","volume":"3","author":"T. A. Linden","year":"1978","unstructured":"Th. A. Linden: Specifying Abstract Data Types by Restriction. ACM SIGSOFT, Software Engineering Notes 3:2, 7\u201313 (1978)","journal-title":"ACM SIGSOFT, Software Engineering Notes"},{"issue":"4","key":"27_CR23","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"B. Liskov, S. Zilles: Programming with Abstract Data Types. Proc. ACM SIGPLAN Conf. on Very High Level Languages, SIGPLAN Notices 9: 4, 50\u201359 (1974)","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"27_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"1","author":"B. Liskov","year":"1975","unstructured":"B. Liskov, S. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. on Software Eng. 1: 1, 7\u201318 (1975)","journal-title":"IEEE Trans. on Software Eng."},{"issue":"10","key":"27_CR25","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/954627.954630","volume":"12","author":"M. Majster","year":"1977","unstructured":"M. Majster: Limits of the \"Algebraic\" Specification of Abstract Data Types. SIGPLAN Notices 12: 10, 37\u201341 (1977)","journal-title":"SIGPLAN Notices"},{"key":"27_CR26","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland, 1963"},{"key":"27_CR27","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1145\/367177.367202","volume":"3","author":"A.J. Perlis","year":"1960","unstructured":"A.J. Perlis, C. Thornton: Symbol Manipulation by Threaded Lists. Comm. ACM 3, 195\u2013204 (1960)","journal-title":"Comm. ACM"},{"key":"27_CR28","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott: Data Types as Lattices. SIAM J. of Computing 5, 522\u2013587 (1976)","journal-title":"SIAM J. of Computing"},{"key":"27_CR29","unstructured":"W. Wulf: ALPHARD: Towards a Language to Support Structured Programs. Carnegie-Mellon Univ., Pittsburgh, Dept. of Comp. Sc., Internal Report, April 1974"},{"key":"27_CR30","unstructured":"S. Zilles: Algebraic Specification of Data Types. Computation Structures Group Memo 119, MIT, Combridge, Mass."}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:05:43Z","timestamp":1660885543000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014676"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0014676","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}