Author:
Huisman Marieke,Jacobs Bart
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lect Notes Comput Sci;M. Abadi,1997
2. K.R. Apt. Ten years of Hoare’s logic: A survey—part I. ACM Trans. on Progr. Lang. and Systems, 3(4):431–483, 1981.
3. K.R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer, 2nd rev. edition, 1997.
4. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 2nd edition, 1997.
5. E.A. Ashcroft, M. Clint, and C.A.R. Hoare. Remarks on “Program proving: jumps and functions by M. Clint and C.A.R. Hoare”. Acta Informatica, 6:317–318, 1976.
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound Borrow-Checking for Rust via Symbolic Semantics;Proceedings of the ACM on Programming Languages;2024-08-15
2. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection;Programming Languages and Systems;2023
3. Loop Verification with Invariants and Contracts;Lecture Notes in Computer Science;2022
4. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022
5. A Short History of KeY;Lecture Notes in Computer Science;2020