Extending Floyd-Hoare Logic for Partial Pre- and Postconditions-Reference-Cited by-同舟云学术

Extending Floyd-Hoare Logic for Partial Pre- and Postconditions

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

Author:

Kryvolap Andrii,Nikitchenko Mykola,Schreiner Wolfgang

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-03998-5_18

Reference34 articles.

1. Floyd, R.W.: Assigning meanings to programs. Proceedings of the American Mathematical Society Symposia on Applied Mathematics 19, 19–31 (1967)

2. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM (12), 576–580 (1969)

3. 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)

4. Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction, p. 240. John Wiley & Sons Inc. (1992)

5. Nikitchenko, M.S., Tymofieiev, V.G.: Satisfiability in Composition-Nominative Logics. Central European Journal of Computer Science 2(3), 194–213 (2012)

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

1. Composition-Nominative Methods and Models in Program Development;SN Computer Science;2022-10-05

2. 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

3. SMT-LIB Theory of Nominative Data;Information and Communication Technologies in Education, Research, and Industrial Applications;2020

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

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