Liquid proof macros-Reference-Cited by-同舟云学术

Liquid proof macros

Published:2022-09-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM SIGPLAN International Haskell Symposium
language:
Short-container-title:

Author:

Blanchette Henry¹,Vazou Niki²,Lampropoulos Leonidas¹

Affiliation:

1. University of Maryland at College Park, USA

2. IMDEA Software Institute, Spain

Publisher

ACM

Link

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

Reference29 articles.

1. Clark Barrett , Christopher L. Conway , Morgan Deters , Liana Hadarean , Dejan Jovanović , Tim King , Andrew Reynolds , and Cesare Tinelli . 2011. CVC4 . In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 171–177. isbn:978-3-642-22110-1 Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. 2011. CVC4. In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 171–177. isbn:978-3-642-22110-1

2. Clark Barrett , Aaron Stump , and Cesare Tinelli . 2010. The SMT-LIB Standard: Version 2.0. Department of Computer Science , The University of Iowa . Available at www.SMT-LIB.org Clark Barrett, Aaron Stump, and Cesare Tinelli. 2010. The SMT-LIB Standard: Version 2.0. Department of Computer Science, The University of Iowa. Available at www.SMT-LIB.org

3. Reproduction Package for Liquid Proof Macros

4. Extending Sledgehammer with SMT Solvers

5. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

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

1. First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31