Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement-Reference-Cited by-同舟云学术

Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement

Published:2019 Issue: Volume: Page:71-88
ISSN:1865-0929
Container-title:Information and Communication Technologies in Education, Research, and Industrial Applications
language:
Short-container-title:

Author:

Ivanov Ievgen,Nikitchenko Mykola^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-13929-2_4

Reference26 articles.

1. 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–17 May 2018, vol. 2104, pp. 716–724 (2018)

2. Floyd, R.: Assigning meanings to programs. In: Mathematical Aspects of Computer Science, vol. 19, pp. 19–32 (1967)

3. Hoare, C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)

4. Apt, K.: Ten years of Hoare’s logic: a survey - part I. ACM Trans. Program. Lang. Syst. 3(4), 431–483 (1981)

5. GNU: Octave. https://www.gnu.org/software/octave/

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective;2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2021-12

2. Program-Oriented Logics of Renominative Level with Extended Renomination and Equality;Information and Communication Technologies in Education, Research, and Industrial Applications;2020

3. Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition;Information and Communication Technologies in Education, Research, and Industrial Applications;2020

4. First-order composition-nominative logics with predicates of weak equality and of strong equality;PROBLEMS IN PROGRAMMING;2019-08

5. Relations of logical consequence in logics of partial predicates with composition of predicate complement;PROBLEMS IN PROGRAMMING;2019-08