Author:
Bozga Marius,Iosif Radu,Lakhnech Yassine
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;M. Benedikt,1999
2. Bozga, M., Iosif, R., Lakhnech, Y.: Storeless Semantics and Alias Logic. In: Proc. ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation, pp. 55–65 (2003)
3. Bozga, M., Iosif, R., Lakhnech, Y.: On Logics of Aliasing. Technical Report TR-2004-4, VERIMAG, http://www-verimag.imag.fr/~iosif/TR-2004-4.ps
4. Bozga, M., Iosif, R.: On Model Checking Generic Topologies. Technical Report TR- 2004-10, VERIMAG, http://www-verimag.imag.fr/~iosif/TR-2004-10.ps
5. Lecture Notes in Computer Science;C. Calcagno,2001
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Separation Logic for OO Programs;Formal Aspects of Component Software;2012
2. A Graph-Based Operational Semantics of OO Programs;Formal Methods and Software Engineering;2009
3. Beyond Shapes: Lists with Ordered Data;Foundations of Software Science and Computational Structures;2009
4. A logic of reachable patterns in linked data-structures;The Journal of Logic and Algebraic Programming;2007-09
5. A Logic of Reachable Patterns in Linked Data-Structures;Lecture Notes in Computer Science;2006