{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:45Z","timestamp":1725663405342},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:57:01Z","timestamp":1330199821000},"page":"34-48","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic formalisation of program development by transformation"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"11","key":"3_CR1","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D.S. Wile","year":"1983","unstructured":"Wile, D.S.: Program Developments: Formal Explanations of Implementations. CACM 26: 11 (1983) 902\u2013911. also in: Agresti, W. A. (ed.): New Paradigms for Software Development. IEEE Computer Society Press\/North Holland (1986) 239\u2013248.","journal-title":"CACM"},{"key":"3_CR2","volume-title":"Program Development using Transformational Expressions. Rep. TUM-I8206","author":"R. Steinbr\u00fcggen","year":"1982","unstructured":"Steinbr\u00fcggen, R..: Program Development using Transformational Expressions. Rep. TUM-I8206, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1982."},{"key":"3_CR3","unstructured":"Feijs, L.M.G., Jonkers, H.B.M, Obbink, J.H., Koymans, C.P.J., Renardel de Lavalette, G.R., Rodenburg, P.M.: A Survey of the Design Language Cold. in: Proc. ESPRIT Conf. 86 (Results and Achievements). North Holland (1987) 631\u2013644."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Sintzoff, M.: Expressing Program Developments in a Design Calculus. in: Broy, M. (ed.): Logic of Programming and Calculi of Discrete Design. NATO ASI Series, Vol. F36, Springer (1987) 343\u2013365.","DOI":"10.1007\/978-3-642-87374-4_13"},{"key":"3_CR5","unstructured":"J\u00e4hnichen, S., Hussain, F.A., Weber, M.: Program Development Using a Design Calculus. in: Rogers, M. W. (ed.): Results and Achievements, Proc. ESPRIT Conf. '86. North Holland (1987) 645\u2013658."},{"key":"3_CR6","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183, 1985."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bauer, F. L., W\u00f6ssner, H.: Algorithmic Language and Program Development. Springer 1982.","DOI":"10.1007\/978-3-642-61807-9"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0167-6423(87)90008-6","volume":"9","author":"P. Pepper","year":"1987","unstructured":"Pepper, P.: A Simple Calculus of Program Transformations (Inclusive of Induction). Science of Computer Programming 9:3 (1987) 221\u2013262.","journal-title":"Science of Computer Programming"},{"key":"3_CR9","unstructured":"Krieg-Br\u00fcckner, B., Hoffmann, B., Ganzinger, H., Broy, M., Wilhelm, R., M\u00f6ncke, U., Weisgerber, B., McGettrick, AA.D., Campbell, I.G., Winterstein, G.: Program Development by Specification and Transformation. in: Rogers, M. W. (ed.): Results and Achievements, Proc. ESPRIT Conf. '86. North Holland (1987) 301\u2013312."},{"key":"3_CR10","unstructured":"Krieg.Br\u00fcckner, B.: Integration of Program Construction and Verification: the PROSPECTRA Project. in: Habermann, N., Montanari, U. (eds.): Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86. LNCS 275 (1987) 173\u2013194."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica 18 (1982) 47\u201364.","journal-title":"Acta Informatica"},{"key":"3_CR12","unstructured":"Ganzinger, H.: A Completion Procedure for Conditional Equations. Techn. Bericht No. 243, Fachbereich Informatik, Universit\u00e4t Dortmund, 1987 (to appear in J. Symb. Comp.)"},{"issue":"8","key":"3_CR13","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., He, J.F., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of Programming. CACM 30: 8 (1987) 672\u2013687.","journal-title":"CACM"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. ACM TOPLAS 9 (1987) 54\u201399.","journal-title":"ACM TOPLAS"},{"key":"3_CR15","unstructured":"Krieg-Br\u00fcckner: Systematic Transformation of Interface Specifications. in: Meertens, L.G.T.L. (ed.): Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (T\u00f6lz '86). North Holland (1987) 269\u2013291"},{"key":"3_CR16","unstructured":"Heckmann, R.: A Functional Language for the Specification of Complex Tree Transformation. this volume."},{"key":"3_CR17","first-page":"168","volume":"256","author":"Z. Qian","year":"1987","unstructured":"Qian, Z.: Structured Contextual Rewriting. Proc. Int'l Conf. on Rewriting Techniques and Applications (Bordeaux). LNCS 256 (1987) 168\u2013179.","journal-title":"LNCS"},{"key":"3_CR18","unstructured":"Qian, Z.: Recursive Presentation of Program Transformation. PROSPECTRA Report M.1.1.S1-SN-17.1, Universit\u00e4t Bremen (1986)."},{"key":"3_CR19","unstructured":"Krieg-Br\u00fcckner: Formalisation of Developments: An Algebraic Approach. in: Rogers, M. W. (ed.): Achievements and Impact. Proc. ESPRIT Conf. 87. North Holland (1987) 491\u2013501."},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0020-0190(87)90227-4","volume":"25","author":"M. Broy","year":"1987","unstructured":"Broy, M.: Predicative Specification for Functional Programs Describing Communicating Networks. IPL 25 (1987) 93\u2013101.","journal-title":"IPL"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(85)90083-9","volume":"27","author":"D.R. Smith","year":"1985","unstructured":"Smith, D.R.: Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence 27:1 (1985) 43\u201395.","journal-title":"Artificial Intelligence"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0167-6423(86)90023-7","volume":"6","author":"R.S. Bird","year":"1986","unstructured":"Bird, R.S.: Transformational Programming and the Paragraph Problem. Science of Computer Programming 6 (1986) 159\u2013189.","journal-title":"Science of Computer Programming"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Broy, M.: Equational Specification of Partial Higher Order Algebras. in: Broy, M. (ed.): Logic of Programming and Calculi of Discrete Design. NATO ASI Series, Vol. F36, Springer (1987) 185\u2013241.","DOI":"10.1007\/978-3-642-87374-4_8"},{"key":"3_CR24","unstructured":"M\u00f6ller, B.: Algebraic Specification with Higher Order Operators. in: Meertens, L.G.T.L. (ed.): Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (T\u00f6lz '86). North Holland (1987) 367\u2013398."},{"key":"3_CR25","first-page":"330","volume":"45","author":"F.W. Henke von","year":"1976","unstructured":"von Henke, F.W.: An Algebraic Approach to Data Types, Program Verification and Program Synthesis. in: Mazurkiewicz, A. (ed.): Mathematical Foundations of Computer Science 1976. LNCS 45 (1976) 330\u2013336.","journal-title":"LNCS"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Wile, D. S.: Organizing Programming Knowledge into Syntax Directed Experts. USC\/ISI manuscript (1987).","DOI":"10.1007\/3-540-17189-4_120"},{"key":"3_CR27","unstructured":"Gordon, M., Milner, R., Wadsworth, Ch.: Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:14Z","timestamp":1605644174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}