{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:41Z","timestamp":1725663341867},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171898"},{"type":"electronic","value":"9783540473473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17189-4_114","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:11:59Z","timestamp":1330197119000},"page":"471-486","source":"Crossref","is-referenced-by-count":1,"title":["Program development by transformation and refinement"],"prefix":"10.1007","author":[{"given":"Stefan","family":"J\u00e4hnichen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatima Ali","family":"Hussain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/359046.359057","volume":"22","author":"J. Arsac","year":"1979","unstructured":"Arsac, J., Syntactic Source to Source Program Transforms and Program Manipulations, CACM Vol. 22, No. 1, January 1979, pp. 43\u201353.","journal-title":"CACM"},{"key":"32_CR2","unstructured":"Bauer et al., The Muenchen Project CIP, Vol. 1: The Wide Spectrum Language, CIP-L, LNCS 183, Springer-Verlag, 1985."},{"issue":"1","key":"32_CR3","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R. M. and Darlington, J., A Transformation System for Developing Recursive Programs. Journal of the Association for Computing Machinery, Vol.24, No. 1, January 1977, pp. 44\u201367.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"32_CR4","unstructured":"Darlington, J., Synthesis of Implementations for Abstract Data Types, Rep. 80\/4, Dep. of Computing, Imperial College London, 1980."},{"key":"32_CR5","unstructured":"Darlington, J., The Structured Description of Algorithm Derivations, Algorithmic Languages, de Bakker\/van Vliet(eds.) (c), North-Holland Publishing Company, 1981,pp. 221\u2013250."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Dewar, R. B. K. et al., Transformational Derivation of a Garbage Collection Algorithm, ACM TOPLAS, Vol.4, Oct. 82.","DOI":"10.1145\/69622.357188"},{"key":"32_CR7","unstructured":"Feather, Martin S., A Survey and Classification of some Program Transformation Approaches and Techniques, USC \/ Information Sciences Institute, September 1985."},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Gries, D., The Science of Programming, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"32_CR9","unstructured":"Groote, P. de, Tentative Definition of a Subset of Sintzoff's Design Calculus, Universite' Catholique de Louvain Unite d'Informatique, T3.deva, 1986."},{"key":"32_CR10","unstructured":"Horsch, A., Moeller, B., Partsch, H., Paukner, O. and Pepper, P., The Munich Project CIP, Volume II: thr Program Transformation System CIP-S, Technische Universitaet Muenchen, Institut fuer Informatik Report TUM-I8509, June 1985."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., An Intuitionistic Theory of Types: Predicative Part, in: Logic Colloquium 1973, Rose and Shepherdson (Eds), North-Holland, 1975, pp. 73\u2013118.","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"32_CR12","unstructured":"Martin-L\u00f6f, P., Constructive Mathematics and Computer Programming, in: Mathematical Logic and Programming Languages, Hoare and Shepherdson (Eds), Prentice-Hall, 1985, pp.167\u2013184."},{"key":"32_CR13","unstructured":"Mostow, J., Towards Better Models Of The Design Process, The AI Magazine, Spring 1985."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Partsch, H. and Steinbrueggen, R., Program Transformation Systems, ACM Computing Surveys, Vol.15(3), Sep. 1983.","DOI":"10.1145\/356914.356917"},{"key":"32_CR15","unstructured":"Phillips,J., Self-Described Programming Environments, Kestrel Institut, Palo Alto, [KES.U.83.1]."},{"key":"32_CR16","unstructured":"Scherlis, William L., Abstract Data Types, Specialization and Program Reuse, IFIP WG2.4 International Workshop on Advanced Programming Environments, Trondheim, Norway, June 16\u201318 1986."},{"key":"32_CR17","unstructured":"Sintzoff, M., Desiderata for a Design Calculus, UCL, T3.memo, Unite d' Informatique, June 85."},{"key":"32_CR18","unstructured":"Sintzoff, M., Playing with a Recursive Design Calculus, UCL, T3.memo. Unite de informatique,1986."},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"Smith, D.R., Top-down Synthesis of Divide-and-Conquer Algorithms, Artificial Intelligence, Vol. 27, No 1, September 1985.","DOI":"10.1016\/0004-3702(85)90083-9"},{"key":"32_CR20","unstructured":"Sowa, J.F., Conceptual Structures \u2014 Information Processing in Mind and Machine, Addison Wesley, 1984."},{"key":"32_CR21","unstructured":"ToolUse Task 3 Team, Requirements for the Definition of DEVA, Final Report Task 3.2, 1986."},{"key":"32_CR22","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N., Program Development by Stepwise Refinement, CACM 14, April 1971, pp. 221\u2013227.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Advanced Programming Environments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17189-4_114.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:42Z","timestamp":1605643962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17189-4_114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171898","9783540473473"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-17189-4_114","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}