{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:22:40Z","timestamp":1743150160657,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030139285"},{"type":"electronic","value":"9783030139292"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-13929-2_4","type":"book-chapter","created":{"date-parts":[[2019,2,13]],"date-time":"2019-02-13T13:10:18Z","timestamp":1550063418000},"page":"71-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement"],"prefix":"10.1007","author":[{"given":"Ievgen","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4078-1062","authenticated-orcid":false,"given":"Mykola","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"4_CR1","unstructured":"Ivanov, I., Nikitchenko, M.: On the sequence rule for the Floyd-Hoare logic with partial pre-and post-conditions. In: CEUR Workshop Proceedings. Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, 14\u201317 May 2018, vol. 2104, pp. 716\u2013724 (2018)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Floyd, R.: Assigning meanings to programs. In: Mathematical Aspects of Computer Science, vol. 19, pp. 19\u201332 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"10","key":"4_CR3","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C Hoare","year":"1969","unstructured":"Hoare, C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K Apt","year":"1981","unstructured":"Apt, K.: Ten years of Hoare\u2019s logic: a survey - part I. ACM Trans. Program. Lang. Syst. 3(4), 431\u2013483 (1981)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR5","unstructured":"GNU: Octave. \n                    https:\/\/www.gnu.org\/software\/octave\/"},{"key":"4_CR6","unstructured":"MathWorks: MATLAB. \n                    https:\/\/www.mathworks.com\/products\/matlab.html"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.10.002","volume":"145","author":"C Jones","year":"2006","unstructured":"Jones, C.: Reasoning about partial functions in the formal development of programs. Electron. Notes Theor. Comput. Sci. 145, 3\u201325 (2006). Proceedings of AVoCS 2005. Elsevier","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1093\/jigpal\/jzi032","volume":"13","author":"R H\u00e4hnle","year":"2005","unstructured":"H\u00e4hnle, R.: Many-valued logic, partiality, and abstraction in formal specification languages. Logic J. IGPL 13(4), 415\u2013433 (2005)","journal-title":"Logic J. IGPL"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BFb0015254","volume-title":"Computer Science Today","author":"David Gries","year":"1995","unstructured":"Gries, D., Schneider, F.: Avoiding the undefined by underspecification. Technical report, Ithaca, NY, USA (1995)"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.15546\/aeei-2013-0052","volume":"13","author":"M Nikitchenko","year":"2013","unstructured":"Nikitchenko, M., Kryvolap, A.: Properties of inference systems for Floyd-Hoare logic with partial predicates. Acta Electrotechnica et Informatica 13(4), 70\u201378 (2013)","journal-title":"Acta Electrotechnica et Informatica"},{"key":"4_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-319-03998-5_18","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"A Kryvolap","year":"2013","unstructured":"Kryvolap, A., Nikitchenko, M., Schreiner, W.: Extending Floyd-Hoare logic for partial pre- and postconditions. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2013. CCIS, vol. 412, pp. 355\u2013378. Springer, Cham (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-319-03998-5_18"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kornilowicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: Formalization of the algebra of nominative data in Mizar. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, 3\u20136 September 2017, pp. 237\u2013244 (2017)","DOI":"10.15439\/2017F301"},{"key":"4_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-67229-8_16","volume-title":"Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2017","author":"A Korni\u0142owicz","year":"2018","unstructured":"Korni\u0142owicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: Formalization of the nominative algorithmic algebra in Mizar. In: \u015awi\u0105tek, J., Borzemski, L., Wilimowska, Z. (eds.) ISAT 2017. AISC, vol. 656, pp. 176\u2013186. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-67229-8_16"},{"key":"4_CR14","volume-title":"Semantics with Applications - a Formal Introduction","author":"H Nielson","year":"1992","unstructured":"Nielson, H., Nielson, F.: Semantics with Applications - a Formal Introduction. Wiley, Hoboken (1992). Wiley professional computing"},{"key":"4_CR15","unstructured":"Nikitchenko, N.S.: A composition nominative approach to program semantics. Technical report, IT-TR 1998\u2013020, Technical University of Denmark (1998)"},{"key":"4_CR16","first-page":"195","volume":"25","author":"V Skobelev","year":"2017","unstructured":"Skobelev, V., Ivanov, I., Nikitchenko, M.: Nominative data with ordered set of names. Comput. Sci. J. Moldova 25, 195\u2013216 (2017)","journal-title":"Comput. Sci. J. Moldova"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-06089-7_8","volume-title":"Theory and Applications of Models of Computation","author":"I Ivanov","year":"2014","unstructured":"Ivanov, I.: On representations of abstract systems with partial inputs and outputs. In: Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (eds.) TAMC 2014. LNCS, vol. 8402, pp. 104\u2013123. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-06089-7_8"},{"key":"4_CR18","unstructured":"Ivanov, I.: An abstract block formalism for engineering systems. In: Ermolayev, V., et al. (eds.) Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, CEUR Workshop Proceedings, Kherson, Ukraine, 19\u201322 June 2013, vol. 1000, pp. 448\u2013463. CEUR-WS.org (2013)"},{"key":"4_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-13206-8_6","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"V Skobelev","year":"2014","unstructured":"Skobelev, V., Nikitchenko, M., Ivanov, I.: On algebraic properties of nominative data and functions. In: Ermolayev, V., Mayr, H., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2014. CCIS, vol. 469, pp. 117\u2013138. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-13206-8_6"},{"key":"4_CR20","first-page":"124","volume":"16","author":"M Nikitchenko","year":"2010","unstructured":"Nikitchenko, M., Ivanov, I.: Composition-nominative languages of programs with associative denaming. Visnyk (Bull.) Lviv Univ. Ser. Appl. Math. Inform. 16, 124\u2013139 (2010)","journal-title":"Visnyk (Bull.) Lviv Univ. Ser. Appl. Math. Inform."},{"issue":"3(72)","key":"4_CR21","first-page":"371","volume":"24","author":"M Nikitchenko","year":"2016","unstructured":"Nikitchenko, M., Ivanov, I., Skobelev, V.: Proving properties of programs on hierarchical nominative data. Comput. Sci. J. Moldova 24(3(72)), 371\u2013398 (2016)","journal-title":"Comput. Sci. J. Moldova"},{"key":"4_CR22","volume-title":"Introduction to Metamathematics","author":"S Kleene","year":"1952","unstructured":"Kleene, S.: Introduction to Metamathematics. North-Holland Publishing Co. and P. Noordhoff, Amsterdam and Groningen (1952)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.2478\/forma-2018-0002","volume":"26","author":"A Korni\u0142owicz","year":"2018","unstructured":"Korni\u0142owicz, A., Ivanov, I., Nikitchenko, M.: Kleene algebra of partial predicates. Formalized Math. 26, 11\u201320 (2018)","journal-title":"Formalized Math."},{"key":"4_CR24","unstructured":"Korni\u0142owicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: An approach to formalization of an extension of Floyd-Hoare logic. In: Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, 15\u201318 May 2017, pp. 504\u2013523 (2017)"},{"issue":"2(68)","key":"4_CR25","first-page":"102","volume":"23","author":"M Nikitchenko","year":"2015","unstructured":"Nikitchenko, M., Shkilniak, S.: Semantic properties of T-consequence relation in logics of quasiary predicates. Comput. Sci. J. Moldova 23(2(68)), 102\u2013122 (2015)","journal-title":"Comput. Sci. J. Moldova"},{"key":"4_CR26","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-76168-8_3","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"M Nikitchenko","year":"2018","unstructured":"Nikitchenko, M., Ivanov, I., Korni\u0142owicz, A., Kryvolap, A.: Extended Floyd-Hoare Logic over relational nominative data. In: Bassiliades, N., et al. (eds.) ICTERI 2017. CCIS, vol. 826, pp. 41\u201364. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-76168-8_3"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13929-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T00:05:21Z","timestamp":1558397121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13929-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030139285","9783030139292"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13929-2_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTERI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kyiv","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ukraine","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 May 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icteri2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icteri.org\/icteri-2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"251","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"6% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}