Author:
Amin Nada,Leino K. Rustan M.,Rompf Tiark
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Lecture Notes in Computer Science;C.W. Barrett,2004
3. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (2010)
4. Lecture Notes in Computer Science;C.W. Barrett,2007
5. Berlin, A.A., Weise, D.: Compiling scientific code using partial evaluation. IEEE Computer 23(12), 25–37 (1990)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete First-Order Reasoning for Properties of Functional Programs;Proceedings of the ACM on Programming Languages;2023-10-16
2. Symbolic encoding of LL(1) parsing and its applications;Formal Methods in System Design;2023-06-22
3. Solving constrained Horn clauses modulo algebraic data types and recursive functions;Proceedings of the ACM on Programming Languages;2022-01-12
4. Embedded Domain Specific Verifiers;Lecture Notes in Computer Science;2022
5. Refinement Types: A Tutorial;Foundations and Trends® in Programming Languages;2021