Author:
Andreescu Oana F.,Jensen Thomas,Lescuyer Stéphane
Publisher
Springer International Publishing
Reference10 articles.
1. Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 2002, pp. 292–310. ACM, New York, NY, USA (2002)
2. Lecture Notes in Computer Science;P Cuoq,2012
3. Cuoq, P., Prevosto, V., Yakobowski, B.: Frama-c value analysis manual.
http://frama-c.com/download/value-analysis-Neon-20140301.pdf
4. Lecture Notes in Computer Science;D Distefano,2006
5. Lecture Notes in Computer Science;KRM Leino,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Program Transformations with Inductive Refinement Types;ACM Transactions on Software Engineering and Methodology;2021-01-31
2. Verification of high-level transformations with inductive refinement types;Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2018-11-05
3. Correlating Structured Inputs and Outputs in Functional Specifications;Software Engineering and Formal Methods;2016