Verification of high-level transformations with inductive refinement types-Reference-Cited by-同舟云学术

Verification of high-level transformations with inductive refinement types

Published:2018-11-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
language:
Short-container-title:

Author:

Al-Sibahi Ahmad Salim¹,Jensen Thomas P.²,Dimovski Aleksandar S.³,Wąsowski Andrzej⁴

Affiliation:

1. University of Copenhagen, Denmark / Skanned, Denmark / IT University of Copenhagen, Denmark

2. Inria, France

3. IT University of Copenhagen, Denmark / Mother Teresa University, Macedonia

4. IT University of Copenhagen, Denmark

Funder

Innovationsfonden

Det Frie Forskningsråd

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3278122.3278125

Reference52 articles.

1. Implementing Regular Tree Expressions;Aiken Alexander;FPLCA,1991

2. Ahmad Salim Al-Sibahi. 2017. The Formal Semantics of Rascal Light. CoRR abs/1703.02312 (2017). http://arxiv.org/abs/1703.02312. Ahmad Salim Al-Sibahi. 2017. The Formal Semantics of Rascal Light. CoRR abs/1703.02312 (2017). http://arxiv.org/abs/1703.02312.

3. Symbolic execution of high-level transformations

4. Ahmad Salim Al-Sibahi Thomas P. Jensen Aleksandar S. Dimovski and Andrzej Wasowski. 2018. Verification of High-Level Transformations with Inductive Refinement Types. ArXiv e-prints (Sept. 2018). arXiv:cs.PL/1809.06336 https://arxiv.org/abs/1809.06336. Ahmad Salim Al-Sibahi Thomas P. Jensen Aleksandar S. Dimovski and Andrzej Wasowski. 2018. Verification of High-Level Transformations with Inductive Refinement Types. ArXiv e-prints (Sept. 2018). arXiv:cs.PL/1809.06336 https://arxiv.org/abs/1809.06336.

5. Spatial Interpolants;Albarghouthi Aws;ESOP,2015

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

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

2. A Systematic Approach to Abstract Interpretation of Program Transformations;Lecture Notes in Computer Science;2020