Publisher
Springer International Publishing
Reference19 articles.
1. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM (JACM) 47, 776–822 (2000)
2. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard Version 2.6 (2016).
http://www.SMT-LIB.org
3. Lecture Notes in Computer Science;C Barrett,2006
4. Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of recursive data types. Electron. Notes Theor. Comput. Sci. 174(8), 23–37 (2007)
5. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM Sigplan Not. 46(4), 53–64 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-order demand-driven symbolic evaluation;Proceedings of the ACM on Programming Languages;2020-08-02
2. Tests and proofs for custom data generators;Formal Aspects of Computing;2018-11
3. Datatypes with Shared Selectors;Automated Reasoning;2018