乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:04Z","timestamp":1725663424565},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509400"},{"type":"electronic","value":"9783540461180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50940-2_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:35:38Z","timestamp":1330202138000},"page":"36-59","source":"Crossref","is-referenced-by-count":11,"title":["Algebraic specification and functionals for transformational program and meta program development"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","unstructured":"Krieg-Br\u00fcckner, B., Hoffmann, B., Ganzinger, H., Broy, M., Wilhelm, R., M\u00f6ncke, U., Weisgerber, B., McGettrick, A.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":"2_CR2","first-page":"173","volume":"275","author":"B. Krieg-Br\u00fcckner","year":"1987","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.","journal-title":"LNCS"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, F.L.: Program Development by Stepwise Transformations \u2014 The Project CIP. in: Bauer, F. L., Broy, M. (eds.): Program Construction. LNCS 69, Springer 1979.","DOI":"10.1007\/BFb0014649"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hangel, E., Hesse, W., Krieg.-Br\u00fcckner, B., Laut, A., Matzner, T.A., 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, Springer 1985.","DOI":"10.1007\/3-540-15187-7"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Ehler, H., Horsch, B., M\u00f6ller, B., Partsch, H., Paukner, O., Pepper, P.,: The Munich Project CIP, Vol. 2: The Transformation System CIP-S. LNCS 292, Springer 1987.","DOI":"10.1007\/3-540-18779-0"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"Partsch, H., Steinbr\u00fcggen, R.: Program Transformation Systems. ACM Computing Surveys 15 (1983) 199\u2013236.","journal-title":"ACM Computing Surveys"},{"key":"2_CR7","unstructured":"Reference Manual for the Ada Programming Language. ANSI\/MIL.STD 1815A. US Government Printing Office, 1983. Also in: Rogers, M. W. (ed.): Ada: Language, compilers and Bibliography. Ada Companion Series, Cambridge University Press, 1984."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Luckham, D.C., von Henke, F.W., Krieg-Br\u00fcckner, B., Owe, O.: Anna, a Language for Annotating Ada Programs, Reference Manual. LNCS 260, Springer (1987).","DOI":"10.1007\/3-540-17980-1"},{"key":"2_CR9","unstructured":"Bertling, H., Ganzinger, H.: A Structure Editor Based on Term Rewriting. in: Proc. 2nd ESPRIT Technical Week, Brussels (1985) 455\u2013466."},{"key":"2_CR10","unstructured":"M\u00f6ncke, U., Weisgerber, B., Wilhelm, R.: Generative Support for Transformational Programming. in: Proc. 2nd ESPRIT Technical Week, Brussels (1985) 511\u2013528."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Heckmann, R.: A Functional Language for the Specification of Complex Tree Transformations. in: Proc. European Symposium on Programming '88, LNCS 300 (1988).","DOI":"10.1007\/3-540-19027-9_12"},{"key":"2_CR12","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":"2_CR13","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":"2_CR14","unstructured":"Owe. O.: An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. Research Report No. 89, Institute of Informatics, University of Oslo, 1985."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Transformation of Interface Specifications. in: Kreowski, H.-J. (ed.): Recent Trends in Data Type Specification. Informatik Fachberichte 116, Springer 1985, 156\u2013170.","DOI":"10.1007\/978-3-662-09691-8"},{"key":"2_CR16","unstructured":"Krieg-Br\u00fcckner, B.: 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":"2_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(86)90004-3","volume":"7","author":"M. Broy","year":"1986","unstructured":"Broy, M., M\u00f6ller, B., Pepper, P., Wirsing, M.: Algebraic Implementations Preserve Program Correctness. Science of Computer Programming 7 (1986) 35\u201353.","journal-title":"Science of Computer Programming"},{"key":"2_CR18","unstructured":"Breu, M., Broy, M., Gr\u00fcnler, Th., Nickl, F.: PAnndA-S Semantics. PROSPECTRA Study Note M.2.1.S1-SN-1.3, Universit\u00e4t Passau, 1988."},{"key":"2_CR19","unstructured":"Kahrs, S.: PAnndA-S Standard Types. PROSPECTRA Study Note M.1.1.S1-SN-11.2, Universit\u00e4t Bremen, 1986."},{"key":"2_CR20","first-page":"286","volume":"247","author":"H. Ganzinger","year":"1987","unstructured":"Ganzinger, H.: Ground Term Confluence in Parametric Conditional Equational Specifications. in: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M.(eds.): Proc. 4th Annual Symp. on Theoretical Aspects of Comp. Sci., Passau '87. LNCS 247 (1987) 286\u2013298.","journal-title":"LNCS"},{"key":"2_CR21","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.)"},{"key":"2_CR22","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"},{"key":"2_CR23","unstructured":"Kahrs, S.: From Constructive Specifications to Algorithmic Specifications. PROSPECTRA Study Note M.3.1.S1-SN-1.2, Universit\u00e4t Bremen, 1986."},{"issue":"3","key":"2_CR24","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":"2_CR25","unstructured":"Krieg-Br\u00fcckner, B.: Formalisation of Developments: An Algebraic Approach. in: Rogers, M. W. (ed.): Achievements and Impact. Proc. ESPRIT Conf. 87. North Holland (1987) 491\u2013501."},{"key":"2_CR26","first-page":"34","volume":"300","author":"B. Krieg-Br\u00fcckner","year":"1988","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Formalisation of Program Development by Transformation. in: Proc. European Symposium On Programming '88, LNCS 300 (1988) 34\u201348.","journal-title":"LNCS"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","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. Information Processing Letters 25:2 (1987) 93\u2013101.","journal-title":"Information Processing Letters"},{"key":"2_CR28","unstructured":"Broy, M.: An Example for the Design of Distributed Systems in a Formal Setting: The Lift Problem. Universit\u00e4t Passau, Tech. Rep. MIP 8802 (1988)."},{"key":"2_CR29","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."},{"key":"2_CR30","unstructured":"Steinbr\u00fcggen, R..: Program Development using Transformational Expressions. Rep. TUM-I8206, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1982."},{"key":"2_CR31","unstructured":"Feijs, L.M.G., Jonkers, H.B.M., Obbink, J.H., Koymans, p.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":"2_CR32","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":"2_CR33","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":"2_CR34","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":"2_CR35","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":"2_CR36","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":"2_CR37","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":"2_CR38","unstructured":"Gordon, M., Milner, R., Wadsworth, Ch.: Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78."},{"issue":"1","key":"2_CR39","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":"2_CR40","first-page":"551","volume":"244","author":"D. S. Wile","year":"1986","unstructured":"Wile, D. S.: Organizing Programming Knowledge into Syntax Directed Experts. Proc. Int'l Workshop on Advanced Programming Environments (Trondheim). LNCS 244 (1986) 551\u2013565.","journal-title":"LNCS"},{"key":"2_CR41","unstructured":"Krieg-Br\u00fcckner, B.: The PROSPECTRA Methodology of Program Development. in: Zalewski (ed.): Proc. IFIP\/IFAC Working Conf. on HW and SW for Real Time Process Control (Warsaw). North Holland (1988) 257\u2013271."},{"key":"2_CR42","unstructured":"Bird, R., Wadler, Ph.: Introduction to Functional Programming. Prentice Hall 1988."},{"key":"2_CR43","unstructured":"Nickl, F., Broy, M., Breu, M., Dederichs, F., Gr\u00fcnler, Th.: Towards a Semantics of Higher Order Specifications in PAnndA-S. PROSPECTRA Study Note M.2.1.S1-SN-2.0, Universit\u00e4t Passau, 1988."},{"key":"2_CR44","unstructured":"Karlsen, E., Joergensen, J., Krieg-Br\u00fcckner, B.: Functionals in PAnndA-S. PROSPECTRA Study Note S.3.1.C1-SN-10.0, Dansk Datamatic Center, 1988."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50940-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:10Z","timestamp":1605647950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50940-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509400","9783540461180"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-50940-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}