{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:38Z","timestamp":1725662918623},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095101"},{"type":"electronic","value":"9783540351689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09510-1_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:43:27Z","timestamp":1330188207000},"page":"530-545","source":"Crossref","is-referenced-by-count":9,"title":["An axiomatic treatment of ALGOL 68 routines"],"prefix":"10.1007","author":[{"given":"Richard L.","family":"Schwartz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"Cartwright, R., D. Oppen. \"Unrestricted Procedure Calls in Hoare's Logic,\" Proceedings of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tuscon, Arizona, January 1978.","DOI":"10.1145\/512760.512774"},{"key":"43_CR2","unstructured":"Clarke, E. \"Pathological Interaction of Programming Language Features,\" Computer Science Department, Duke University, Report CS-1976-15, September 1976."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E. \"Programming Language Constructs for which it is Impossible to Obtain Good Hoare-like Axiom Systems,\" Proceedings of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.","DOI":"10.1145\/512950.512952"},{"key":"43_CR4","unstructured":"Cook, S.A. \"Soundness and Completeness of an Axiom System for Program Verification,\" Computer Science Department, University of Toronto, Report 95, June 1976."},{"key":"43_CR5","unstructured":"Department of Defense. Blue Programming Language Specification, February 1978."},{"key":"43_CR6","unstructured":"Department of Defense. Green Programming Language Specification, February 1978."},{"key":"43_CR7","unstructured":"Department of Defense. Red Programming Language Specification, February 1978."},{"key":"43_CR8","unstructured":"Department of Defense. Yellow Programming Language Specification, February 1978."},{"key":"43_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume-title":"Mathematical Aspects of Computer Science","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R.W. \"Assigning Meanings to Programs,\" Proceedings of the Symposium of Applied Mathematics, 19, in J.T. Schwartz, Editor, Mathematical Aspects of Computer Science, pp. 19\u201332, American Mathematical Society, Providence, Rhode Island, 1967."},{"key":"43_CR10","unstructured":"Fokkinga, M. \"Axiomatization of Declarations and the Formal Treatment of an Escape Construct,\" IFIP Technical Committee 2 Meeting, Toronto Canada, August 1977."},{"key":"43_CR11","unstructured":"Gorelick, S. \"A Complete Axiomatic System for Proving Assertions about Recursive and Non-Recursive Programs,\" Computer Science Department, University of Toronto, Report 75, January 1975."},{"key":"43_CR12","unstructured":"Guttag, J., J. Horning, R. London. \"A Proof Rule for EUCLID Procedures,\" in E. Neuhold, Editor, Formal Description of Programming Concepts, North Holland Publishing Company, 1978."},{"key":"43_CR13","first-page":"10","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. \"An Axiomatic Basis for Computer Programming,\" Communications of the ACM, 12:10, October 1969.","journal-title":"Communications of the ACM"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. \"Procedures and Parameters: An Axiomatic Approach,\" Symposium on Semantics of Algorithmic Languages, E. Engeler, Editor, Springer Verlag, pp. 102\u2013116, 1971.","DOI":"10.1007\/BFb0059696"},{"key":"43_CR15","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/954666.971189","volume":"12","author":"B. Lampson","year":"1977","unstructured":"Lampson, B., et al. \"Report on the Programming Language EUCLID,\" SIGPLAN Notices, 12:2, 1977.","journal-title":"SIGPLAN Notices"},{"key":"43_CR16","unstructured":"London, R., private communication, August 1978."},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"Naur, P., Editor. \"Revised Report on the Algorithmic Language ALGOL 60,\" Communications of the ACM, 6:3, March 1963.","DOI":"10.1145\/366274.366286"},{"key":"43_CR18","volume-title":"Axiomatic Proof Techniques for Parallel Programs","author":"S. Owicki","year":"1975","unstructured":"Owicki, S. Axiomatic Proof Techniques for Parallel Programs, Ph.D. Dissertation, Cornell University, Ithaca, New York, 1975."},{"key":"43_CR19","unstructured":"Schwartz, R. \"An Axiomatic Semantic Definition of ALGOL 68,\" Computer Science Department, University of California at Los Angeles, UCLA-34-P214-75, August 1978 (Ph.D. Dissertation)."},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"Schwartz, R. \"An Axiomatic Treatment of Asynchronous Parallel Processes in ALGOL 68,\" submitted for publication, January 1979.","DOI":"10.1007\/3-540-09510-1_43"},{"key":"43_CR21","unstructured":"Schwartz, R. \"On Axiomatizability as a Language Design Tool,\" January 1979."},{"key":"43_CR22","doi-asserted-by":"crossref","unstructured":"Schwartz, R., D. Berry. \"A Semantic View of ALGOL 68,\" Journal of Computer Languages, Vol. 4, No. 1, 1979.","DOI":"10.1016\/0096-0551(79)90006-7"},{"key":"43_CR23","doi-asserted-by":"crossref","unstructured":"Tanenbaum, A. \"A Tutorial on ALGOL 68,\" ACM Computing Surveys, Vol. 8, No. 2, June 1976.","DOI":"10.1145\/356669.356671"},{"key":"43_CR24","doi-asserted-by":"crossref","unstructured":"van Wijngaarden, A., Editor. \"Report on the Algorithmic Language ALGOL 68,\" Numerische Mathematik, 14, pp. 79\u2013218, 1969.","DOI":"10.1007\/BF02163002"},{"key":"43_CR25","doi-asserted-by":"crossref","unstructured":"van Wijngaarden, A., et al., Editor. \"Revised Report on the Algorithmic Language ALGOL 68,\" Acta Informatica, 5, 1975.","DOI":"10.1007\/978-3-642-95279-1"},{"key":"43_CR26","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N. \"The Programming Language PASCAL,\" Acta Informatica, 1, pp. 35\u201363, 1971.","journal-title":"Acta Informatica"},{"key":"43_CR27","doi-asserted-by":"crossref","unstructured":"Wulf, W., R.L. London, M. Shaw. \"Abstraction and Verification in ALPHARD: Introduction to Language and Methodology,\" Information Sciences Institute Technical Report ISI\/RR-76-46, Marina del Rey, California, June 1976.","DOI":"10.21236\/ADA028365"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09510-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:08Z","timestamp":1605643268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09510-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095101","9783540351689"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-09510-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}