{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:22:29Z","timestamp":1742912549559,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"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\/bfb0014672","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"273-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Systematics of transformation rules"],"prefix":"10.1007","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[]},{"given":"H.","family":"W\u00f6ssner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"23_CR1","volume-title":"La Construction de Programmes Structur\u00e9s","author":"J. Arsac","year":"1977","unstructured":"J. Arsac: La Construction de Programmes Structur\u00e9s. Paris: Dunod 1977"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-1-4899-5841-9_3","volume-title":"Advances in Information System Sciences 2","author":"J. W. de Bakker","year":"1969","unstructured":"J. W. de Bakker: Semantics of Programming Languages. In: J. T. Tou (ed.): Advances in Information System Sciences 2, New York: Plenum Press 1969, 173\u2013227"},{"key":"23_CR3","unstructured":"R. M. Balzer: Correct and Efficient Software Implementation via Semi-Automatic Transformations (Research Proposal, unpublished)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-07994-7","volume-title":"A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973","author":"F. L. Bauer","year":"1976","unstructured":"F. L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973. Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Marktoberdorf 1975. Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York: Springer 1976"},{"key":"23_CR5","unstructured":"F. L. Bauer: Programming as an Evolutionary Process. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7617, 1976. Also: Proc 2nd Int. Conf. on Software Engineering, Oct, 1976, San Francisco, Ca., 223\u2013234"},{"key":"23_CR6","first-page":"27","volume":"34","author":"F. L. Bauer","year":"1977","unstructured":"F. L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Techniques for Program Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Interner Bericht, Sept. 1976. Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977, 27\u201350","journal-title":"Infotech State of the Art Report"},{"key":"23_CR7","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":"23_CR8","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). See also this volume.","journal-title":"SIGPLAN Notices"},{"key":"23_CR9","unstructured":"F. L. Bauer: Program Development by Stepwise Transformations \u2014 the Project CIP. This volume"},{"key":"23_CR10","unstructured":"F. L. Bauer: Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. This volume"},{"key":"23_CR11","volume-title":"Algorithmic Language and Program Development","author":"F. L. Bauer","year":"1979","unstructured":"F. L. Bauer, H. W\u00f6ssner: Algorithmic Language and Program Development. London: Prentice-Hall International 1979"},{"key":"23_CR12","unstructured":"M. Broy: A Case Study in Program Development: Sorting. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7831, 1978"},{"key":"23_CR13","unstructured":"M. Broy, R. Gnatz, M. Wirsing: Problemspezifikation \u2014 eine Grundlage f\u00fcr Programmentwicklung. Workshop on Reliable Software, Bonn University, September 22\u201323, 1978. To appear in Hanser Verlag."},{"key":"23_CR14","unstructured":"M. Broy, R. Gnatz, M. Wirsing: Semantics for Nondeterministic and Noncontinuous Constructs. This volume."},{"issue":"1","key":"23_CR15","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall, J. Darlington: Some Transformations for Developing Recursive Programs. Proc. of 1975 Int. Conf. on Reliable Software, Los Angeles 1975, 465\u2013472. Also (revised version) J. ACM 24, 1, 44\u201367 (1977)","journal-title":"J. ACM"},{"key":"23_CR16","unstructured":"R. Burstall, M. Feather: Program Development by Transformations: an Overview. Proc. of Toulouse CREST Course on Programming, Toulouse, 1978"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"D. C. Cooper","year":"1966","unstructured":"D. C. Cooper: The Equivalence of Certain Computations. Comp. J. 9, 45\u201352 (1966)","journal-title":"Comp. J."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"B. Courcelle, M. Nivat: Algebraic Families of Interpretations. 17th Symposium on Foundations of Computer Science, Houston 1976","DOI":"10.1109\/SFCS.1976.3"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00263742","volume":"6","author":"J. Darlington","year":"1976","unstructured":"J. Darlington, R. M. Burstall: A System which Automatically Improves Programs. Acta Informatica 6, 41\u201360 (1976)","journal-title":"Acta Informatica"},{"key":"23_CR20","unstructured":"J. Darlington: A Synthesis of Several Sorting Algorithms. D.A.I. Research Report no. 23, Dept. of Artificial Intelligence, University of Edinburgh, 1976"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-662-21549-4_6","volume-title":"Compiler Construction. An Advanced Course","author":"F. L. DeRemer","year":"1974","unstructured":"F. L. DeRemer: Transformational Grammars. In: F.L. Bauer, J. Eickel (eds.): Compiler Construction. An Advanced Course. Lecture Notes in Computer Science 21. Berlin, Heidelberg, New York: Springer 1974, 121\u2013145"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0096-0551(78)90004-8","volume":"3","author":"D. P. Friedman","year":"1978","unstructured":"D. P. Friedman, D. S. Wise: Functional Combination. Computer Languages 3, 31\u201335 (1978)","journal-title":"Computer Languages"},{"key":"23_CR23","first-page":"173","volume-title":"Program Transformations","author":"M. S. Feather","year":"1978","unstructured":"M. S. Feather: Program Transformations Applied to the Telegram Problem. In: B. Robinet (ed.): Program Transformations. Proc. of the 3rd International Symposium on Programming, March 28\u201330, 1978, Paris: Dunod 1978, 173\u2013186"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"S. L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54\u201366","DOI":"10.1145\/512976.512983"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"S. L. Gerhart: Control Structure Abstractions of the Backtracking Programming Technique. 2nd Int. Conf. on Software Engineering, 1976, 44\u201349","DOI":"10.1109\/TSE.1976.233834"},{"key":"23_CR26","first-page":"1","volume":"1","author":"S. Igarashi","year":"1968","unstructured":"S. Igarashi: An Axiomatic Approach to the Equivalence Problems of Algorithms with Applications. PhD Thesis, University of Tokyo (1964). Reprinted in: Report of the Computer Center Univ. of Tokyo, 1, 1\u2013101 (1968)","journal-title":"Report of the Computer Center Univ. of Tokyo"},{"issue":"1","key":"23_CR27","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/321992.322000","volume":"24","author":"D. B. Loveman","year":"1977","unstructured":"D. B. Loveman: Program Improvement by Source-to-Source Transformation. J. ACM 24: 1, 121\u2013145 (1977)","journal-title":"J. ACM"},{"issue":"6","key":"23_CR28","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/0020-0190(76)90015-6","volume":"5","author":"H. Partsch","year":"1976","unstructured":"H. Partsch, P. Pepper: A Family of Rules for Recursion Removal Related to the Towers of Hanoi Problem. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7612, 1976. Also Inf. Proc. Letter 5: 6, 174\u2013177 (1976)","journal-title":"Also Inf. Proc. Letter"},{"key":"23_CR29","unstructured":"H. Partsch, P. Pepper: Program Transformations on Different Levels of Programming. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7715, 1977"},{"key":"23_CR30","unstructured":"H. Partsch, M. Broy: Examples for Change of Types and Object Structures. This volume."},{"key":"23_CR31","first-page":"119","volume-title":"Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation","author":"M. S. Paterson","year":"1970","unstructured":"M. S. Paterson, C. E. Hewitt: Comparative Schematology. In: Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation, New York: ACM 1970, 119\u2013127"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"P. Pepper: A Study on Transformational Semantics. Dissertation, Munich 1978. See also this volume","DOI":"10.1007\/BFb0014674"},{"key":"23_CR33","volume-title":"Program Transformations","author":"P. Pepper","year":"1978","unstructured":"P. Pepper, H. Partsch, H. W\u00f6ssner, F. L. Bauer: A Transformational Approach to Programming. In: B. Robinet (ed.): Program Transformations. Proc. of the 3rd International Symposium on Programming, March 28\u201330, 1978, Paris: Dunod 1978"},{"issue":"1","key":"23_CR34","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B. K. Rosen","year":"1973","unstructured":"B. K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems. Journal ACM 20: 1, 160\u2013187 (1973)","journal-title":"Journal ACM"},{"key":"23_CR35","unstructured":"T. A. Standish, D. C. Harriman, D. F. Kibler, J. M. Neighbors: The Irvine Program Transformation Catalogue. Dep. Inform. and Comp. Sc., University of California at Irvine, Irvine, Calif., Jan. 1976"},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"T. A. Standish, D. C. Harriman, D. F. Kibler, J. M. Neighbors: Improving and Refining Programs by Program Manipulation. Proc. 1976 ACM Annual Conf., Oct. 1976, 509\u2013516","DOI":"10.1145\/800191.805652"},{"key":"23_CR37","first-page":"254","volume":"5","author":"H. R. Strong","year":"1971","unstructured":"H. R. Strong: Translating Recursion Equations into Flow Charts. In: Proc. 2nd Annual ACM Symposium on Theory of Computing, New York 1970, 184\u2013197. Also J. CSS 5, 254\u2013285 (1971)","journal-title":"J. CSS"},{"key":"23_CR38","unstructured":"J. Weber: Programmtransformationen mit Attributierten Transformationsgrammatiken. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7604, 1976"},{"issue":"2","key":"23_CR39","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/TSE.1976.233533","volume":"SE-2","author":"B. Wegbreit","year":"1976","unstructured":"B. Wegbreit: Goal-Directed Program Transformation. IEEE Transactions on Software Engineering, vol. SE-2, no. 2, 69\u201380 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR40","unstructured":"H. W\u00f6ssner, P. Pepper, H. Partsch, F. L. Bauer: Special Transformation Techniques. This volume"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014672","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:31:23Z","timestamp":1683300683000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/bfb0014672","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"}}]}}