Spatial Interpolants-Reference-Cited by-同舟云学术

Spatial Interpolants

Published:2015 Issue: Volume: Page:634-660
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Albargouthi Aws,Berdine Josh,Cook Byron,Kincaid Zachary

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_26

Reference38 articles.

1. Albarghouthi, A., McMillan, K.L.: Beautiful interpolants. In: Sharygina and Veith [37]

2. Albargouthi, A., Berdine, J., Cook, B., Kincaid, Z.: Spatial interpolants. Tech. Rep. MSR-TR-2015-4 (January 2015), http://research.microsoft.com/apps/pubs/default.aspx?id=238328

3. Lecture Notes in Computer Science,2006

4. Lecture Notes in Computer Science;J. Berdine,2005

5. Beyer, D., Henzinger, T.A., Majumdar, R., Rybalchenko, A.: Path invariants. In: Ferrante, J., McKinley, K.S. (eds.) PLDI, ACM (2007)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The concept of a multi-level system of digital twins (on the example of geomagnetic data);Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika;2021-06-01

2. Verification of Program Transformations with Inductive Refinement Types;ACM Transactions on Software Engineering and Methodology;2021-01-31

3. A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines;Journal of Automated Reasoning;2020-07-13

4. Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning;Programming Languages and Systems;2019

5. 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