{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:52Z","timestamp":1725456112449},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354011212X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025772","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:23:41Z","timestamp":1132395821000},"page":"24-36","source":"Crossref","is-referenced-by-count":1,"title":["The refinement of specifications and the stability of Hoare's Logic"],"prefix":"10.1007","author":[{"given":"JA","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"JV","family":"Tucker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"1","volume-title":"Proceedings from 5th Scandinavian Logic Symposium","author":"K.R. Apt","year":"1979","unstructured":"APT, K.R., Ten years of Hoare's logic, a survey in F.V. JENSEN, B.H. MAYOH and K.K. M\u00d8LLER (eds), Proceedings from 5th Scandinavian Logic Symposium, Aalborg University Press, Aalborg, 1979, 1\u201344. (A second edition of this paper will appear in ACM Transactions on Programming Languages and Systems)."},{"key":"3_CR2","volume-title":"Mathematical theory of program correctness","author":"J.W. Baker De","year":"1980","unstructured":"DE BAKER, J.W., Mathematical theory of program correctness, Prentice-Hall International, London, 1980."},{"unstructured":"BERGSTRA, J.A., J. TIURYN & J.V. TUCKER, Floyd's principle, correctness theories and program equivalence (To appear in Theoretical Computer Science.)","key":"3_CR3"},{"unstructured":"BERGSTRA, J.A. & J.V. TUCKER, Some natural structures which fail to possess a sound and decidable Hoare-like logic for their\nwhile-programs (To appear in Theoretical Computer Science.)","key":"3_CR4"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-10843-2_29","volume-title":"Automata, languages and programming, 8th Colloquium","author":"J.A. Bergstra","year":"1981","unstructured":"BERGSTRA, J.A. & J.V. TUCKER, Algebraically specified programming systems and Hoare's logic, in S. EVEN & O. KARIV (eds), Automata, languages and programming, 8th Colloquium, Springer-Verlag, Berlin, 1981, 348\u2013362."},{"unstructured":"BERGSTRA, J.A. & J.V. TUCKER, Expressiveness and the completeness of Hoare's logic, Mathematical Centre, Department of Computer Science Research Report IW 149, Amsterdam, 1980.","key":"3_CR6"},{"key":"3_CR7","volume-title":"Hoare's logic and Peano's arithmetic","author":"J.A. Bergstra","year":"1980","unstructured":"BERGSTRA, J.A. & J.V. TUCKER, Hoare's logic and Peano's arithmetic, Mathematical Centre, Department of Computer Science Research Report, Amsterdam, 1980."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S.A. Cook","year":"1978","unstructured":"COOK, S.A., Soundness and completeness of an axiom system for program verification, SIAM J. Computing 7 (1978) 70\u201390.","journal-title":"SIAM J. Computing"},{"key":"3_CR9","first-page":"80","volume-title":"Current trends in programming methodology IV, Data structuring","author":"J.A. Goguen","year":"1978","unstructured":"GOGUEN, J.A., J.W. THATCHER & E.G. WAGNER, An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. YEH (ed.), Current trends in programming methodology IV, Data structuring, Prentice-Hall, Engelwood Cliffs, New Jersey, 1978, 80\u2013149."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0023017","volume-title":"Theory of program structures: schemes, semantics, verification","author":"S.A. Greibach","year":"1975","unstructured":"GREIBACH, S.A., Theory of program structures: schemes, semantics, verification, Springer-Verlag, Berlin, 1975."},{"key":"3_CR11","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, Communications Association Computing Machinery 12 (1969) 576\u2013580.","journal-title":"Communications Association Computing Machinery"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00288746","volume":"4","author":"S. Igarashi","year":"1975","unstructured":"IGARASHI, S., R.L. LONDON & D.C. LUCKHAM, Automatic program verification I: a logical basis and its implementation, Acta Informatica 4 (1975) 145\u2013182.","journal-title":"Acta Informatica"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/357073.357078","volume":"1","author":"D.C. Luckham","year":"1979","unstructured":"LUCKHAM, D.C. & N. SUZUKI, Verification of array, record and pointer operations in PASCAL, ACM-Transactions on Programming Languages and Systems 1 (1979) 226\u2013244.","journal-title":"ACM-Transactions on Programming Languages and Systems"},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","volume":"6","author":"D.R. Musser","year":"1980","unstructured":"MUSSER, D.R., Abstract data type specification in the AFFIRM system, IEEE Transactions on Software Engineering 6(1) (1980) 24\u201332.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR15","volume-title":"Saturated model theory","author":"G.E. Sacks","year":"1972","unstructured":"SACKS, G.E., Saturated model theory, W.A. Benjamin, Inc., Reading, Massachusetts, 1972."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025772.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:55:24Z","timestamp":1607550924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025772"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0025772","relation":{},"subject":[]}}