Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)
2. Burstall, R.M.: Some techniques for proving correctness of programs which alter data structures. In: Machine Intelligence, vol. 7, pp. 23–50. Edinburgh University Press, Edinburgh (1972)
3. Cook, S.A., Oppen, D.C.: An assertion language for data structures. In: Conference Record of 2nd ACM Symposium on Priciples of Programming Languages, New York, pp. 160–166 (1975)
4. Morris, J.M.: A general axiom of assignment; assignment and linked data structures; a proof of the Schorr-Waite algorithm. In: Theoretical Foundations of Programming Methodology, pp. 25–51. D. Reidel, Dordrecht (1982)
5. Reynolds, J.C.: An overview of separation logic. In: Proceedings of Verified Software: Theories, Tools, Experiments 2005, Zurich, Switzerland, October 10-13 (2005) Revised Selected Papers and Discussions
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Precondition Calculation for Loops Iterating over Data Structures;2016 IEEE International Conference on Software Quality, Reliability and Security (QRS);2016-08
2. Automatic Invariant Synthesis for Arrays in Simple Programs;2016 IEEE International Conference on Software Quality, Reliability and Security (QRS);2016-08
3. Analyzing Inductively Defined Properties for Recursive Data Structures;Proceedings of the 7th Asia-Pacific Symposium on Internetware;2015-11-06
4. Code Generation for Abstract Data Types Based on Program Analysis;2015 IEEE International Conference on Software Quality, Reliability and Security - Companion;2015-08
5. Node-Set Analysis for Linked Recursive Data Structures;2015 IEEE International Conference on Software Quality, Reliability and Security;2015-08