{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:15:40Z","timestamp":1649182540154},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1977,12,1]],"date-time":"1977-12-01T00:00:00Z","timestamp":249782400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1977,12]]},"DOI":"10.1007\/bf02244016","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T20:04:16Z","timestamp":1131998656000},"page":"281-293","source":"Crossref","is-referenced-by-count":1,"title":["The use of Hoare's method of program verfification for the quicksort algorithm"],"prefix":"10.1007","volume":"18","author":[{"given":"E. J.","family":"Neuhold","sequence":"first","affiliation":[]},{"given":"R.","family":"Studer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02244016_CR1","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/BF00288686","volume":"1","author":"M. Clint","year":"1972","unstructured":"Clint, M., Hoare, C. A. R.: Program Proving: Jumps and Functions. Acta Informatica1, 214\u2013224 (1972).","journal-title":"Acta Informatica"},{"key":"BF02244016_CR2","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/362736.362753","volume":"13","author":"M. H. Emden van","year":"1970","unstructured":"van Emden, M. H.: Increasing the Efficiency of Quicksort. CACM13, 563\u2013567 (1970).","journal-title":"CACM"},{"key":"BF02244016_CR3","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1145\/362790.362803","volume":"13","author":"M. H. Emden van","year":"1970","unstructured":"van Emden, M. H.: Algorithm 402: Increasing the Efficiency of Quicksort. CACM13, 693\u2013694 (1970).","journal-title":"CACM"},{"key":"BF02244016_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1093\/comjnl\/14.4.391","volume":"14","author":"M. Foley","year":"1971","unstructured":"Foley, M., Haore, C. A. R.: Proof of a Recursive Program: Quicksort. The Computer Journal14, 391\u2013395 (1971).","journal-title":"The Computer Journal"},{"key":"BF02244016_CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R.: An axiomatic Basis for Computer Programming. CACM12, 576\u2013580, 583 (1969).","journal-title":"CACM"},{"key":"BF02244016_CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/BFb0059696","volume-title":"Symposium on the Semantics of Algorithmic Languages","author":"C. A. R. Hoare","year":"1971","unstructured":"Hoare, C. A. R.: Procedures and Parameters: An Axiomatic Approach. Symposium on the Semantics of Algorithmic Languages (Engeler, E., ed.), pp. 102\u2013116. (Lecture Notes in Mathematics, 188.) Berlin-Heidelberg-New York: Springer 1971."},{"key":"BF02244016_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"C. A. R. Hoare","year":"1971","unstructured":"Hoare, C. A. R.: Proof of a Program: Find. CACM14, 39\u201345 (1971).","journal-title":"CACM"},{"key":"BF02244016_CR8","unstructured":"Studer, R.: An Application of Hoare's Method of Program Verification. Master Thesis, Institute of Computer Science, University of Stuttgart, 1974."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02244016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02244016\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02244016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T19:31:54Z","timestamp":1557862314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02244016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1977,12]]}},"alternative-id":["BF02244016"],"URL":"https:\/\/doi.org\/10.1007\/bf02244016","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,12]]}}}