{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T01:19:17Z","timestamp":1777425557985,"version":"3.51.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319039978","type":"print"},{"value":"9783319039985","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_18","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"355-378","source":"Crossref","is-referenced-by-count":12,"title":["Extending Floyd-Hoare Logic for Partial Pre- and Postconditions"],"prefix":"10.1007","author":[{"given":"Andrii","family":"Kryvolap","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mykola","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schreiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. Proceedings of the American Mathematical Society Symposia on Applied Mathematics\u00a019, 19\u201331 (1967)","journal-title":"Proceedings of the American Mathematical Society Symposia on Applied Mathematics"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a0(12), 576\u2013580 (1969)","DOI":"10.1145\/363235.363259"},{"key":"18_CR3","unstructured":"Nikitchenko, M.S., Shkilniak, S.S.: Mathematical logic and theory of algorithms. Publishing house of Taras Shevchenko National University of Kyiv, Kyiv (2008) (in Ukrainian)"},{"key":"18_CR4","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction, p. 240. John Wiley & Sons Inc. (1992)"},{"issue":"3","key":"18_CR5","doi-asserted-by":"publisher","first-page":"194","DOI":"10.2478\/s13537-012-0027-3","volume":"2","author":"M.S. Nikitchenko","year":"2012","unstructured":"Nikitchenko, M.S., Tymofieiev, V.G.: Satisfiability in Composition-Nominative Logics. Central European Journal of Computer Science\u00a02(3), 194\u2013213 (2012)","journal-title":"Central European Journal of Computer Science"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume":"16","author":"A. Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-Deterministic Semantics for Logical Systems. Handbook of Philosophical Logic\u00a016, 227\u2013304 (2011)","journal-title":"Handbook of Philosophical Logic"},{"key":"18_CR7","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-35737-4_6","volume-title":"ICT in Education, Research, and Industrial Applications","author":"M. Nikitchenko","year":"2013","unstructured":"Nikitchenko, M., Tymofieiev, V.: Satisfiability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2012. CCIS, vol.\u00a0347, pp. 89\u2013110. Springer, Heidelberg (2013)"},{"key":"18_CR8","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"18_CR9","volume-title":"Denotational Semantics \u2013 A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics \u2013 A Methodology for Language Development. Allyn and Bacon, Boston (1986)"},{"key":"18_CR10","unstructured":"Scott, D., Strachey, C.: Towards a Mathematical Semantics for Computer Languages. In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn; also Tech. Mon. PRG-6, pp. 19\u201346. Oxford U. Computing Lab. (1971)"},{"key":"18_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)"},{"key":"18_CR12","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall, London (1998)"},{"issue":"4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1145\/1146809.1146814","volume":"28","author":"R.T. Boute","year":"2006","unstructured":"Boute, R.T.: Calculational Semantics: Deriving Programming Theories from Equations by Functional Predicate Calculus. ACM Transactions on Programming Languages and Systems\u00a028(4), 747\u2013793 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1002\/malq.19610071705","volume":"7","author":"H. Wang","year":"1961","unstructured":"Wang, H.: The Calculus of Partial Predicates and Its Extension to Set Theory. Zeitschr. F. Math. Logik und Grundlagen D. Math.\u00a07, 283\u2013288 (1961)","journal-title":"Zeitschr. F. Math. Logik und Grundlagen D. Math."},{"key":"18_CR15","series-title":"Selected works by Jan \u0141u-kasiewicz","first-page":"87","volume-title":"Ruch Filozoficzny 5:170\u2013171. English Translation: On Three-Valued Logic","author":"J. \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. In: Borkowski, L. (ed.) Ruch Filozoficzny 5:170\u2013171. English Translation: On Three-Valued Logic. Selected works by Jan \u0141u-kasiewicz, pp. 87\u201388. North\u2013Holland, Amsterdam (1970)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"S.C. Kleene","year":"1938","unstructured":"Kleene, S.C.: On Notation for Ordinal Numbers. Journal Symbolic Logic\u00a03, 150\u2013155 (1938)","journal-title":"Journal Symbolic Logic"},{"key":"18_CR17","first-page":"287","volume":"4","author":"D.A. Bochvar","year":"1939","unstructured":"Bochvar, D.A.: On a 3-valued Logical Calculus and its Application to the Analysis of Contradictions. Matematiceskij Sbornik\u00a04, 287\u2013308 (1939) (in Russian)","journal-title":"Matematiceskij Sbornik"},{"key":"18_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801129","volume-title":"An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems","author":"M. Bergmann","year":"2008","unstructured":"Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press, Cambridge (2008)"},{"key":"18_CR19","first-page":"431","volume":"26","author":"G. Moisil","year":"1940","unstructured":"Moisil, G.: Recherches sur les logiques nonchrysippiennes. Ann. Sci. Univ. Jassy\u00a026, 431\u2013436 (1940)","journal-title":"Ann. Sci. Univ. Jassy"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: A Basis for a Mathematical Theory of Computation. In: Braffort, P., Hirshberg, D. (eds.) Computer Programming and Formal Systems, pp. 33\u201370. North-Holland, Amsterdam (1963)"},{"issue":"4","key":"18_CR21","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1305\/ndjfl\/1039118863","volume":"39","author":"J.A. Bergstra","year":"1988","unstructured":"Bergstra, J.A., Ponse, A.: Bochvar-McCarthy Logic and Process Algebra. Notre Dame Journal of Formal Logic\u00a039(4), 464\u2013484 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-50214-9_20","volume-title":"VDM 1988","author":"A. Blikle","year":"1988","unstructured":"Blikle, A.: Three-Valued Predicates for Software Specification and Validation. In: Bloomfield, R.E., Jones, R.B., Marshall, L.S. (eds.) VDM 1988. LNCS, vol.\u00a0328, pp. 243\u2013266. Springer, Heidelberg (1988)"},{"issue":"4","key":"18_CR23","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1991-14403","volume":"14","author":"B. Konikowska","year":"1991","unstructured":"Konikowska, B., Tarlecki, A., Blikle, A.: A Three-valued Logic for Software Specification and Validation. Fundam. Inform.\u00a014(4), 411\u2013453 (1991)","journal-title":"Fundam. Inform."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"},{"key":"18_CR25","unstructured":"Cheng, J.H., Jones, C.B.: On the Usability of Logics which Handle Partial Functions. In: Morgan, C., Woodcock, J.C.P. (eds.) 3rd Refinement Workshop, pp. 51\u201369 (1991)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Reasoning about Partial Functions in the Formal Development of Programs. Electronic Notes in Theoretical Computer Science\u00a0145, 3\u201325 (2006)","DOI":"10.1016\/j.entcs.2005.10.002"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Schreiner, W.: Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. In: Quaresma, P., Back, R.-J. (eds.) Proceedings First Workshop on CTP Components for Educational Software (THedu 2011), Wroc\u0142aw, Poland. Electronic Proceedings in Theoretical Computer Science (EPTCS), vol.\u00a079, pp. 124\u2013142 (July 31, 2012) ISSN: 2075-2180","DOI":"10.4204\/EPTCS.79.8"},{"key":"18_CR28","unstructured":"Schreiner, W.: A Program Calculus Technical Report. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (2008), http:\/\/www.risc.uni-linz.ac.at\/people\/schreine\/papers\/ProgramCalculus2008.pdf"},{"issue":"5","key":"18_CR29","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF01178666","volume":"31","author":"C.B. Jones","year":"1994","unstructured":"Jones, C.B., Middelburg, C.A.: A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica\u00a031(5), 399\u2013430 (1994)","journal-title":"Acta Informatica"},{"issue":"1","key":"18_CR30","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Data Types. Acta Informatica\u00a018(1), 47\u201364 (1982)","journal-title":"Acta Informatica"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras. Akademie-Verlag (1986)","DOI":"10.1515\/9783112720875"},{"key":"18_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/3-540-18088-5_45","volume-title":"Automata, Languages and Programming","author":"H.-J. Kreowski","year":"1987","unstructured":"Kreowski, H.-J.: Partial Algebra Flows from Algebraic Specifications. 14th Int. Colloquium on Automata, Languages and Programming. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol.\u00a0267, pp. 521\u2013530. Springer, Heidelberg (1987)"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press (1987)","DOI":"10.1515\/9783112573426"},{"key":"18_CR34","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:29:48Z","timestamp":1746073788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}