{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:53:11Z","timestamp":1742997191049,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642639708"},{"type":"electronic","value":"9783642594120"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-3-642-59412-0_22","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T06:41:04Z","timestamp":1319784064000},"page":"356-366","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Assertions: A Personal Perspective"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,21]]},"reference":[{"key":"22_CR1","volume-title":"Programming Manual Elliott Brothers (London) Ltd","author":"Elliott","year":"1960","unstructured":"Elliott 803 Programming Manual Elliott Brothers (London) Ltd., Borehamwood, Herts (1960)."},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/368370.368387","volume":"2","author":"D Shell","year":"1959","unstructured":"D. Shell. A high-speed sorting procedure. Comm. ACM 2 30\u201332 (1959).","journal-title":"Comm. ACM"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"P. Naur (ed). Report on the algorithmic language ALGOL 60. Comm. ACM 3(5) 299\u2013314 (1960).","DOI":"10.1145\/367236.367262"},{"key":"22_CR4","doi-asserted-by":"publisher","DOI":"10.1515\/9783112316009","volume-title":"Syntactic structures","author":"N Chomsky","year":"1957","unstructured":"N. Chomsky. Syntactic structures Mouton & Co, The Hague (1957)."},{"key":"22_CR5","first-page":"125","volume-title":"The syntax and the semantics of the proposed international algebraic language of the Zurich ACM-CAMM Conference","author":"JW Backus","year":"1959","unstructured":"J.W. Backus. The syntax and the semantics of the proposed international algebraic language of the Zurich ACM-CAMM Conference. ICIP Proceedings, Paris, 125\u2013132 (1959)."},{"issue":"4","key":"22_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1093\/comjnl\/5.4.345","volume":"5","author":"T Hoare","year":"1963","unstructured":"T. Hoare, Report on the Elliott ALGOL translator. Comput. J. 5(4) 345\u2013348 (1963).","journal-title":"Comput. J."},{"volume-title":"Formal language description languages for computer programming","year":"1966","key":"22_CR7","unstructured":"T.B. Steel Jr. (ed.), Formal language description languages for computer programming. North-Holland (1966)."},{"key":"22_CR8","unstructured":"J.V. Garwick. The definition of programming languages by their compilers."},{"key":"22_CR9","volume-title":"Mathematical Logic","author":"WVO Quine","year":"1955","unstructured":"W.V.O. Quine, Mathematical Logic. Revised edition, Harvard University Press (1955)."},{"key":"22_CR10","volume-title":"An axiomatic approach to equivalence problems of algorithms with applications. PhD. Thesis","author":"S Igarashi","year":"1964","unstructured":"S. Igarashi. An axiomatic approach to equivalence problems of algorithms with applications. PhD. Thesis, Tokyo University (1964)."},{"key":"22_CR11","first-page":"03","volume":"25","author":"P Lucas","year":"1968","unstructured":"P. Lucas et al. Informal introduction to the abstract syntax and interpretation of PL\/I, ULD version II, IBM TR 25.03 (1968).","journal-title":"IBM TR"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"R.W. Floyd. Assigning meanings to programs. Proc. Am. Soc. Symp. Appl. Math. 19,19\u201331 (1967).","journal-title":"Proc. Am. Soc. Symp. Appl. Math."},{"issue":"10","key":"22_CR13","first-page":"576","volume":"12","author":"RW Floyd","year":"1967","unstructured":"T. Hoare. An axiomatic basis for computer programming. Comm. ACM 12(10) 576\u2013580, 583 (1969).","journal-title":"Comm. ACM"},{"key":"22_CR14","volume-title":"Procedures and parameters: an axiomatic approach. LNM 188","author":"T Hoare","year":"1971","unstructured":"T. Hoare. Procedures and parameters: an axiomatic approach. LNM 188. Springer (1971)."},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1093\/comjnl\/14.4.391","volume":"14","author":"T Hoare","year":"1971","unstructured":"T. Hoare and M. Foley. Proof of a recursive program: QUICKSORT. Comput.J. 14, 391\u2013395 (1971).","journal-title":"Comput.J."},{"key":"22_CR16","volume-title":"Towards a theory of parallel programming. In Operating Systems Techniques","author":"T Hoare","year":"1972","unstructured":"T. Hoare. Towards a theory of parallel programming. In Operating Systems Techniques Academic Press (1972)."},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/BF00289507","volume":"1","author":"T Hoare","year":"1972","unstructured":"T. Hoare and M. Clint. Program proving: jumps and functions. Acta Inf. 1 214\u2013224 (1972).","journal-title":"Acta Inf."},{"issue":"3","key":"22_CR18","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BF01932305","volume":"12","author":"T Hoare","year":"1972","unstructured":"T. Hoare. A note on the for statement. BIT 12(3) 334\u2013341 (1972).","journal-title":"BIT"},{"issue":"4","key":"22_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"T Hoare","year":"1973","unstructured":"T. Hoare, and N. Wirth. An axiomatic definition of the programming language PASCAL Acta Inf. 2(4) 335\u2013355 (1973).","journal-title":"Acta Inf."},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00260921","volume":"10","author":"RL London","year":"1978","unstructured":"R.L. London et al. Proof rules for the programming language EUCLID. Acta Inf. 10 1\u201326 (1978).","journal-title":"Acta Inf."},{"key":"22_CR21","volume-title":"Object-oriented software construction (2nd ed.)","author":"B Meyer","year":"1997","unstructured":"B. Meyer. Object-oriented software construction (2nd ed.). Prentice Hall PTR (1997)."},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. Co to statement considered harmful. Comm. ACM 11 147\u2013148 (1968).","journal-title":"Comm. ACM"},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"WR Bush","year":"2000","unstructured":"W.R. Bush, J.D. Pincus, DJ. Sielaff. A static analyser for finding dynamic programming errors. Software Prac. Exper. 30, 775\u2013802 (2000).","journal-title":"Software Prac. Exper."},{"key":"22_CR24","volume-title":"Lint: a C program checker. UNIX Prog. Man. 4.2","author":"SC Johnson","year":"1984","unstructured":"S.C. Johnson. Lint: a C program checker. UNIX Prog. Man. 4.2. UC Berkeley (1984)."},{"key":"22_CR25","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"EW Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. A constructive approach to the problem of program correctness. BIT 8,174\u2013186(1968).","journal-title":"BIT"},{"key":"22_CR26","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"E.W. Dijkstra. A discipline of programming. Prentice Hall (1976)."},{"key":"22_CR27","volume-title":"Programming from Specifications","author":"C Morgan","year":"1990","unstructured":"C. Morgan. Programming from Specifications. Prentice Hall (1990)."}],"container-title":["Software Pioneers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-59412-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T07:07:24Z","timestamp":1622185644000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-59412-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783642639708","9783642594120"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-59412-0_22","relation":{},"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}