{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:35Z","timestamp":1725663155000},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540079941"},{"type":"electronic","value":"9783540379720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07994-7_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:16:00Z","timestamp":1330186560000},"page":"125-152","source":"Crossref","is-referenced-by-count":2,"title":["Program production by successive transformation"],"prefix":"10.1007","author":[{"given":"M.","family":"Griffiths","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"7_CR1","unstructured":"D.W. BARRON Recursive Techniques in Programming Macdonald Computer Monographs, 1968"},{"key":"7_CR2","unstructured":"F.L. BAUER Variables Considered Harmful Seminar, TU Munich, 1974"},{"key":"7_CR3","unstructured":"F.L. BAUER A Philosophy of Programming TU Munich, 1975"},{"key":"7_CR4","unstructured":"F.L. BAUER Marktoberdorf, 1975 (b)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"R.M. BURSTALL, J. DARLINGTON Some Transformations for Developping Recursive Programs SIGPLAN Notices 10, 6, June 1975","DOI":"10.1145\/390016.808470"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"D.C. COOPER The Equivalence of Certain Computations Comp. Jnl. May 1966","DOI":"10.1093\/comjnl\/9.1.45"},{"key":"7_CR7","unstructured":"J. COURTIN, J. VOIRON Introduction \u00e0 l'Algorithmique et aux structures de donn\u00e9es Universit\u00e9 de Grenoble, 1975"},{"key":"7_CR8","unstructured":"O.J. DAHL, E.W. DIJKSTRA, C.A.R. HOARE Structured Programming Academic Press, 1972"},{"key":"7_CR9","unstructured":"J. DARLINGTON, R.M. BURSTALL A System which Automatically Improves Programs 3rd Int. Conf. on Artificial Intelligence, Stanford, Aug. 1973"},{"key":"7_CR10","unstructured":"E.W. ELCOCK Descriptions in Machine Intelligence, 3, Edinburgh University Press, 1968"},{"key":"7_CR11","unstructured":"E.W. ELCOCK, J.M. FOSTER, P.M.D. GRAY, J.J. MGGREGOR, A.M. MURRAY ABSET-A Programming Language Based on Sets: Motivation and Examples in Machine Intelligence, 6, Edinburgh University Press, 1971"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"A.P. ERSHOV Problems in Many-Language Systems Marktoberdorf, 1975","DOI":"10.1007\/3-540-07994-7_60"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"R.W. FLOYD Assigning Meanings to Programs Proc. Symposium in Appl. Maths., AMS, New York, 1967","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"7_CR14","unstructured":"J.M. FOSTER Assertions: Programs Written Without Specifying Unnecessary Order in Machine Intelligence, 3, Edinburgh University Press, 1968"},{"key":"7_CR15","unstructured":"J.M. FOSTER, E.W. ELCOCK ABSYS 1: An Incremental Compiler for Assertions; An introduction in Machine Intelligence, 4, Edinburgh University Press, 1969"},{"key":"7_CR16","unstructured":"S.J. GARLAND, D.C. LUCKHAM Program Schemes, Recursion Schemes and Formal Languages UCLA-ENG-7154, University of California, 1971"},{"key":"7_CR17","unstructured":"D. GRIES Recursion as a Programming Technique Cornell, April 1975"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"M. GRIFFITHS Relationship between Language Definition and Implementation in Advanced Course in Software Engineering, Springer-Verlag, 1973","DOI":"10.1007\/3-540-07168-7_75"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE An Axiomatic Basic for Computer Programming CACM, 1969","DOI":"10.1145\/363235.363259"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"D.E. KNUTH Semantics of Context-Free Languages (a) Math. Sys. Theory, Vol. 2, no 2, 1968","DOI":"10.1007\/BF01692511"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"D.E. KNUTH Semantics of Context-Free Languages (b) Math. Sys. Theory, Vol. 5, no 1, 1971","DOI":"10.1007\/BF01702865"},{"key":"7_CR22","unstructured":"D.E. KNUTH The Art of Computer Programming, Vol. 1 Addison Wesley, 1973"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"D.E. KNUTH Structured Programming with GOTO Statements ACM Comp. Surveys, Dec. 1974","DOI":"10.1145\/356635.356640"},{"key":"7_CR24","unstructured":"H. KR\u00d6GER Bemerkungen zur Aufl\u00f6sung von Rekursionen Seminar, TU Munich, 1974"},{"key":"7_CR25","unstructured":"Z. MANNA Mathematical Theory of Computation McGraw Hill, 1974"},{"key":"7_CR26","unstructured":"R. RUSTIN (ed.) Design and Optimization of Compilers Prentice Hall, 1972"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"T.B. STEEL UNCOL: The Myth and the Fact Ann. Rev. in Aut. Prog., 2, 1961","DOI":"10.1016\/S0066-4138(61)80014-1"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"H.R. STRONG Translation of Recursion Equations into Flowcharts JCSS, June 1971","DOI":"10.1016\/S0022-0000(71)80036-3"},{"key":"7_CR29","unstructured":"G. VEILLON Transformation de Programmes R\u00e9cursifs Grenoble, 1975"}],"container-title":["Lecture Notes in Computer Science","Language Hierarchies and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07994-7_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:47Z","timestamp":1605643127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07994-7_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540079941","9783540379720"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-07994-7_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}