{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:07:29Z","timestamp":1725894449535},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071310"},{"type":"electronic","value":"9783540374015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07131-8_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:42:11Z","timestamp":1330184531000},"page":"387-443","source":"Crossref","is-referenced-by-count":5,"title":["Formal definition in program development"],"prefix":"10.1007","author":[{"given":"C. B.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"16_CR1","unstructured":"C.D.Allen, D.N.Chapman and C.B.Jones, \"A Formal Definition of Algol 60\", IBM Hursley Technical Report, TR 12.105 August 1972."},{"key":"16_CR2","unstructured":"H.Bekie and K.Walk, \"Formalisation of Storage Properties\" in \"Symposium on Semantics of Algorithmic Languages\" (Ed.) E.Engeler, Springer-Verlag Lecture Notes in Mathematics No. 188, October 1970."},{"key":"16_CR3","unstructured":"H.Bekie, Presentation on \"Semantics of Actions\" given at Newcastle University, September 1974."},{"key":"16_CR4","unstructured":"H.Bekic et al \"A Formal Definition of PL\/I\" to be printed as a Technical Report of IBM Laboratory Vienna."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"A.Hansal, \"Software Devices for Processing Graphs Using PL\/I Compile-time Facilities\", Info Proc Letters. 1974.","DOI":"10.1016\/0020-0190(74)90007-6"},{"key":"16_CR6","unstructured":"W.Henhapl and C.B.Jones, \"On the Interpretation of Goto Statements in the VDL\", IBM Vienna Note, LN 25.3.065, March 1970."},{"key":"16_CR7","unstructured":"W.Henhapl and C.B.Jones, \"The Block Concept and Some Possible Implementations, with Proofs of Equivalence\", IBM Vienna Technical Report, TR 25.104, April 1970."},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare, \"Proof of Correctness of Data Representations\", Acta Informatica, Vol. 1, pp 271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"C.B.Jones and P.Lucas, \"Proving Correctness of Implementation Techniques\", in \"Symposium on Semantics of Algorithmic Languages\" (Ed.) F. Engeler, Springer-Verlag Lecture Notes in Mathematics No. 188, October 1970.","DOI":"10.1007\/BFb0059698"},{"key":"16_CR10","unstructured":"C.B.Jones, \"Sufficient Properties for Implementation Correctness: Assignment Language\", IBM Hursley Note, TN 9002, June 1971."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"C.B.Jones, \"Formal Development of Correct Algorithms: An Example Based on Earley's Recogniser\", presented at ACM SIGPLAN Conference, SIGPLAN Notices Vol. 7, No. 1, January 1972.","DOI":"10.1145\/942578.807083"},{"key":"16_CR12","unstructured":"C.B.Jones, \"Formal Development of Programs\", IBM Hursley Technical Report, TR 12.117, June 1973."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"P.J.Landin, \"A Correspondence Between Algol 60 and Church's Lambda-Notation: Part I\", Comm. of ACM, Vol. 8, No. 2, February 1965.","DOI":"10.1145\/363744.363749"},{"key":"16_CR14","unstructured":"P.Lucas, \"Two Constructive Realisations of the Block Concept and their Equivalence\", IBM Vienna Technical Report, TR 25.085, 1968."},{"key":"16_CR15","unstructured":"P.Lucas, \"On Program Correctness and the Stepwise Development of Implementations\", presented at IBM Conference at Pisa University, 1972."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"P.Lucas and K. Walk, \"On the Formal Description of PL\/I\" in Annual Review in Automatic Programming, Vol. 6, Part 3, Pergamon Press, 1969.","DOI":"10.1016\/0066-4138(69)90005-6"},{"key":"16_CR17","unstructured":"J.McCarthy, \"Towards a Mathematical Science of Computation\" presented at IFIP Congress 1962."},{"key":"16_CR18","unstructured":"R.Milner, \"An Algebraic Definition of Simulation Between Programs\", Stanford University AIM-142, February 1971."},{"key":"16_CR19","unstructured":"P. Mosses, \"The Mathematical Semantics of Algol 60\", Oxford University Computing Laboratory, PRG-12, January 1974."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"P. Naur, \"An Experiment on Program Development\", BIT 12, pp 347\u2013365, 1972.","DOI":"10.1007\/BF01932307"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"J.C.Reynolds, \"Definitional Interpreters for Higher-Order Programming Languages\", presented at 25th National ACM Conference, August 1972.","DOI":"10.1145\/800194.805852"},{"key":"16_CR22","unstructured":"D. Scott and C. Strachey, \"Toward a Mathematical Semantics for Computer Languages\", in \"Proceedings of the Symposium on Computers and Automata\", Microwave Research Institute Symposia Series Vol.21, Polytechnic Institute of Brooklyn, 1971."},{"key":"16_CR23","unstructured":"C.Strachey, \"Continuations: A Mathematical Semantics which can deal with Full Jumps\", unpublished."},{"key":"16_CR24","unstructured":"K.Walk et al, \"Abstract Syntax and Interpretation of PL\/I\", IBM Vienna Technical Report, TR 25.098, 1969."},{"key":"16_CR25","unstructured":"\"PL\/I BASIS\/1\" ECMA ANSI working document, February 1974."}],"container-title":["Lecture Notes in Computer Science","Programming Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07131-8_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:44Z","timestamp":1605643004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07131-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071310","9783540374015"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-07131-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}