{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T05:40:24Z","timestamp":1772516424768,"version":"3.50.1"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Annals Hist. Comput."],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1109\/mahc.2003.1203056","type":"journal-article","created":{"date-parts":[[2003,6,5]],"date-time":"2003-06-05T17:45:41Z","timestamp":1054835141000},"page":"14-25","source":"Crossref","is-referenced-by-count":37,"title":["Assertions: a personal perspective"],"prefix":"10.1109","volume":"25","author":[{"given":"C.A.R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref1","year":"1960","journal-title":"Elliott Brothers, Elliott 803 Programming Manual, London Ltd."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/368370.368387"},{"issue":"5","key":"ref3","first-page":"299","article-title":"Report on the Algorithmic Language Algol 60","volume-title":"Comm. ACM","volume":"3","author":"Naur","year":"1960"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1515\/9783110218329"},{"key":"ref5","first-page":"125","article-title":"The Syntax and the Semantics of the Proposed International Algebraic Language of the Zurich ACM\u2013GAMM [Assoc. for Computing Machinery\u2013German association for Applied Mathematics and Mechanics] Conference","volume-title":"Proc. Int\u2019l Congress for Information Processing","author":"Backus","year":"1959"},{"issue":"4","key":"ref6","first-page":"345","article-title":"Report on the Elliott Algol Translator","volume-title":"Computer J.","volume":"5","author":"Hoare","year":"1963"},{"key":"ref7","volume-title":"Formal Language Description Languages for Computer Programming","author":"Steel","year":"1966"},{"key":"ref8","article-title":"The Definition of Programming Languages by their Compilers","volume-title":"Formal Language Description Languages for Computer Programming","author":"Garwick","year":"1966"},{"key":"ref9","volume-title":"Mathematical Loqic","author":"Quine","year":"1955"},{"key":"ref10","volume-title":"An Axiomatic Approach to Equivalence Problems of Algorithms with Applications","author":"Igarashi","year":"1964"},{"key":"ref11","author":"Lucas","year":"1968","journal-title":"Informal Introduction to the Abstract Syntax and Interpretation of PL\/l, ULD version II, IBM TR 25.03, IBM"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059696"},{"issue":"4","key":"ref15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1093\/comjnl\/14.4.391","article-title":"Proof of a Recursive Program: Quicksort","volume":"14","author":"Hoare","year":"1971","journal-title":"Computer J."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288686"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932305"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289504"},{"key":"ref20","first-page":"1","article-title":"Proof Rules for the Programming Language EUCLID","volume":"10","author":"London","journal-title":"Acta Informatica"},{"key":"ref21","volume-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"key":"ref23","article-title":"Lint: A C Program Checker","author":"Johnson","year":"1984","journal-title":"UNIX 4.2 Programming Manual, Univ. of California, Berkeley"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01933419"},{"key":"ref26","volume-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"ref27","volume-title":"Programming from Specifications","author":"Morgan","year":"1990"},{"key":"ref28","author":"Dahl","year":"1967","journal-title":"SIMULA 67 Common Base Language, Norwegian Computer Center"},{"key":"ref29","first-page":"175","article-title":"Hierarchical Program Structures","volume-title":"Structured Programming","author":"Dahl","year":"1972"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/16.3.209"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"ref32","article-title":"Cooperating Sequential Processes","volume-title":"Programming Languages","author":"Dijkstra","year":"1968"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/361454.361473"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312840"},{"key":"ref36","volume-title":"The Java Language Specification","author":"Gosling","year":"1996"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07994-7_56"},{"key":"ref38","volume-title":"Concurrent Program Structures","author":"Welsh","year":"1988"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref41","volume-title":"Denotational Semantics, the Scott-Strachey Approach to Programming Language Theory","author":"Stoy","year":"1977"},{"key":"ref42","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15670-4_14","article-title":"An Improved Failures Model for CSP","volume-title":"Proc. Pittsburgh Seminar on Concurrency","author":"Brookes","year":"1985"},{"key":"ref43","volume-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"ref44","volume-title":"Inmos Transputer Reference Manual","year":"1988"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4330030403"},{"key":"ref46","volume-title":"Programming in occam 2","author":"Jones","year":"1988"},{"key":"ref47","volume-title":"Communicating and Mobile Systems: The pi-calculus","author":"Milner","year":"1999"},{"key":"ref48","article-title":"Assigning Programs to Meanings","volume-title":"Mathematical Logic and Programming Languages Philosophical Trans. Royal Society","volume":"312","author":"Abrial","year":"1984"},{"key":"ref49","author":"Collins","year":"1989","journal-title":"Introducing Formal Methods, The CICS Experience with Z, IBM TR 12.260, IBM"},{"key":"ref50","volume-title":"Software Development, A Rigorous Approach","author":"Jones","year":"1980"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357988"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90081-6"},{"key":"ref53","first-page":"220","article-title":"Programs as Executable Predicates","volume-title":"Proc. Int\u2019l Conf. Fifth Generation Computer Systems Tokyo, Inst. for New Generation Computer Technology","author":"Hoare","year":"1984"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1984.0071"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1984.0071"},{"key":"ref56","volume-title":"Unifying Theories of Programming","author":"Hoare","year":"1998"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264034"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/85\/27086\/01203056.pdf?arnumber=1203056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:20:02Z","timestamp":1742098802000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203056\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":57,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mahc.2003.1203056","relation":{},"ISSN":["1058-6180"],"issn-type":[{"value":"1058-6180","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}