{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:43:07Z","timestamp":1725601387400},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540068594"},{"type":"electronic","value":"9783540378198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_147","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T15:52:56Z","timestamp":1313682776000},"page":"385-407","source":"Crossref","is-referenced-by-count":3,"title":["Behavioral semantics of nonrecursive control structures"],"prefix":"10.1007","author":[{"given":"Carl","family":"Hewitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Bishop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Steiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Greif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Matson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Hale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Barton, R.S.\"Ideas for Computer Systems Organization: A personal Survey\" Software Engineering 1. Academic Press. 1970.","DOI":"10.1016\/B978-0-12-395495-4.50010-6"},{"key":"29_CR2","unstructured":"Bobrow D., and Wegbreit, Ben.\"A Model for Control Structures for Artific Artificial Intelligence Programming Languages\" IJCAI-73. August, 1973."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V.\"Multiple Exits from a loop Without the GOTO\" CACM. July, 1973. pp.443\u2013444.","DOI":"10.1145\/362280.362300"},{"key":"29_CR4","unstructured":"Cadiou, J.M. and Levy,\"Mechanizable Proofs about Parallel Processes\" SWAT. October, 73."},{"key":"29_CR5","unstructured":"Church, A.\"The Calculi of Lambda Concersion\" Annals of Mathematical Studies 6. Princeton University Press. 1941, 2nd edition 1951."},{"key":"29_CR6","unstructured":"Davies, D.J.M.\"POPLER 1.5 Reference Manual\" TPU Report No.1. Theoretical Psychology Unit, School of Artificial Intelligence, University of Edinburgh. May, 1973."},{"key":"29_CR7","unstructured":"Dennis, Jack B.\"On the Design and Specification of a Common Base Language\" Computation Structures Group Memo 60. November 1971."},{"key":"29_CR8","unstructured":"Dennis, Jack B.\"Modularity\". Computation Structures Group Memo 70. June 1972."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.\"The Humble Programmer\" CACM. October, 1972.","DOI":"10.1145\/355604.361591"},{"key":"29_CR10","unstructured":"Dijkstra, E.W.\"Notes on structured Programming\" Aug. 1969."},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Evans, A.\"PAL \u2014 A Language for Teaching Programming Linguistics\", Proceedings of 23rd National Conference. 1968.","DOI":"10.1145\/800186.810604"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Fischer, M.J.\"Lambda Calculus Schemata\" ACM Conference on Proving Assertions about Programs\".","DOI":"10.1145\/800235.807077"},{"key":"29_CR13","unstructured":"Fisher, D.A. \"Control Structures for Programming Languages\" Phd. Carnegie 1970."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.\"Assigning Meaning to Programs\" Mathematical Aspects of Computer Science. J.T.Schwartz (ed.) Vol 19. Am. Math. Soc. pp.19\u201332. Providence Rhode Island. 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"29_CR15","unstructured":"Greif, I.G. and Hewitt,C. \"Behavioral Semantics of ACTOR Systems\""},{"key":"29_CR16","unstructured":"Hewitt,C. and Paterson M.\"Comparative Schematology\" Record of Project MAC Conference on Concurrent Systems and Parallel Computation. June 2\u20135, 1970. Available from ACM."},{"key":"29_CR17","unstructured":"Hewitt,C.\"Procedural Semantics\" in Natural Language Processing Courant Computer Science Symposium 8. Randall Rustin, editor. Algorithmics Press. 1971."},{"key":"29_CR18","unstructured":"Hewitt, C., Bishop P., and Steiger, R.\"A Universal Modular Actor Formalism for Artificial Intelligence\" IJCAI-73. Stanford, Calif. Aug, 1973. pp.235\u2013245."},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Hewitt, Carl; Bishop, Peter; Greif, Irene; Smith, Brian; Matson, Todd; and Steiger, R.\"Actor Induction and Meta-evaluation\" Conference Record of ACM Symposium on Principles of Programming Languages. Boston. Oct, 1973.","DOI":"10.1145\/512927.512942"},{"key":"29_CR20","unstructured":"Hoare, C. A. R.\"An Axiomatic Definition of the Programming Language PASCAL\" February 1972."},{"key":"29_CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/1115880.1115883","volume":"6","author":"J.B. Johnston","year":"1971","unstructured":"Johnston, J.B.\"The Contour Model of Block Structured Processes\" Proceedings of a Symposium on Data Structures in Programming Languages. SIGPLAN Notices 6, 55\u201382. 1971.","journal-title":"SIGPLAN Notices"},{"key":"29_CR22","unstructured":"Kahn, G.\"A Preliminary Theory for Parallel Programs\" May 1973."},{"key":"29_CR23","unstructured":"Kay, Alan C.\"FLEX, A Flexible Extendible Language\" CS Tech. Rept. U. of Utah. 1968."},{"key":"29_CR24","unstructured":"Kay, Alan C.\"Reactive Engine\" Ph. D. thesis at University of Utah, 1970."},{"key":"29_CR25","unstructured":"Kay, Alan C. and the Learning Research Group.\"The SMALL TALK Note Book\" Forthcoming."},{"key":"29_CR26","unstructured":"Kosinski, P.\"A Data Flow Programming Language\" IBM Research Report RC4264. March, 1973."},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"Landin, P.J.\"A Correspondence Between ALGOL 60 and Church's Lambda-Natation\" CACM. February, 1965.","DOI":"10.1145\/363791.363804"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Liskov, B H.\"A Design Methodology for Reliable Software Systems\" The Last FJCC. December, 1972. Pt. 1, 191\u2013199.","DOI":"10.1145\/1479992.1480018"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Manna, Z.; Ness,S.; Vuillemin J.\"Inductive Methods for Proving Properties of Programs\" Proceeding of an ACM Conference on Proving Assertions about Programs \u2014 January, 1972.","DOI":"10.1145\/800235.807070"},{"key":"29_CR30","unstructured":"McDermott D.V.; and Sussman G.J.\"The Conniver Reference Manual\" A.I.Memo No. 259. 1972."},{"key":"29_CR31","unstructured":"McCarthy,J;; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy P.; and Levin, Michael I. \"Lisp 1.5. Programmer's Manual, M.I.T.Press\""},{"key":"29_CR32","unstructured":"Minsky, M.L.\"A LISP Garbage Collector Algorithm Using Serial Secondary Storage\" Memorandum MAC-M-129 and AI Memo 58, M.I.T. Project MAC, December 1963."},{"key":"29_CR33","unstructured":"Mitchell, J.G.\"The Modular Programming System: Processes and Ports\" NIC 7359. June, 1971."},{"key":"29_CR34","unstructured":"Morris, J.H.\"Verification-oriented Language Design\" Technical Report 7. December, 1972."},{"key":"29_CR35","unstructured":"Park,D.\"Fixpoint Induction and Proofs of Program Properties\" Machine Intelligence 5. Edinburgh University Press. 1969."},{"key":"29_CR36","doi-asserted-by":"crossref","unstructured":"Reynolds,J.C.\"GEDANKEN-A Simple Typeless Language Based on the Principle of Completeness and the reference Concept\" CACM, 1970.","DOI":"10.1145\/362349.362364"},{"key":"29_CR37","doi-asserted-by":"crossref","unstructured":"Reynolds,J.C.\"Definitional Interpreters for Higher-Order Programming Languages\" Proceedings of ACM National Convention 1972.","DOI":"10.1145\/800194.805852"},{"key":"29_CR38","unstructured":"Rulifson Johns F., Derksen J.A., and Waldinger R.J.\"QA4: A Procedural Calculus for Intuitive Reasoning\" Phd. Stanford. November 1972."},{"key":"29_CR39","unstructured":"Samson,P.\"STRING\" A.I. Memo 142. Sept, 1967."},{"key":"29_CR40","unstructured":"Scott,D.\"Outline of a Mathematical Theory of Computation\" Proc. Fourth Annual Princeton Conf. on Information Science and Systems. 1970. pp.169\u2013176"},{"key":"29_CR41","unstructured":"Smith, Brian; Waters, Dick; and Lieberman, Henry.\"COMMENTS ON COMMENTS or the Purpose of Intentions, and the Intentions of Purposes\" Term Project for M.I.T. course \"Automating Knowledge Based Programming and Validation Using ACTORS\" Fall, 1973."},{"key":"29_CR42","doi-asserted-by":"crossref","unstructured":"Stoy,J.E. and Strachey,C.\"OS6-An Experimental Operation System for a Small Computer\" Parts 1 and 2. Computer journal. Vol.15, no.2\u20133. 1972.","DOI":"10.1093\/comjnl\/15.2.117"},{"key":"29_CR43","doi-asserted-by":"crossref","unstructured":"Tennent,R.D.\"Mathematical Semantics of SNOBOL4\" Conference Record of ACM Symposium on Principles of Programming Languages. Boston. Oct, 1973.","DOI":"10.1145\/512927.512936"},{"key":"29_CR44","doi-asserted-by":"crossref","unstructured":"Tesler, L.G.; Enea, H.J.; and Smith,D.C.\"The LISP70 Pattern Matching System\" IJCAI-73. August 1973.","DOI":"10.2307\/3422418"},{"key":"29_CR45","doi-asserted-by":"crossref","unstructured":"Wang A. and Dahl O.\"Coroutine Sequencing in a Block Structured Environment\" BIT 11 425\u2013449.","DOI":"10.1007\/BF01939412"},{"key":"29_CR46","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, 221\u2013227. 1971.","journal-title":"CACM"},{"key":"29_CR47","doi-asserted-by":"crossref","unstructured":"Wulf W., et al.\"BLISS Reference Manual\" 1971.","DOI":"10.1145\/362919.362936"},{"key":"29_CR48","unstructured":"Wulf, W., et al.\"HYDRA: The Kernel of a Multiprocessor Operating System\" CMU. June, 1973."}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T08:40:28Z","timestamp":1712738428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1974]]}}}