Author:
Calcagno Cristiano,O’Hearn Peter W.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lect Notes Comput Sci;M. Benedikt,1999
2. C. Calcagno, S. Ishtiaq, and P.W. O’Hearn. Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic. In ACM-SIGPLAN 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000). ACM Press, September 2000.
3. P. Cohen. Set Theory and the Continuum Hypothesis. Benjamin, San Fancisco, 1966.
4. P. Cousot. Methods and logics for proving programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 843–993. Elsevier, Amsterdam, and The MIT Press, Cambridge, Mass., 1990.
5. F. de Boer. A WP calculus for OO. In Proceedings of FOSSACS’99, 1999.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献