Funder
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference38 articles.
1. Alliot JM, Gotteland JB, Vanaret C, Durand N, Gianazza D (2012) Implementing an interval computation library for OCaml on x86/amd64 architectures. In: OUD 2012, OCaml users and developers workshop
2. Barr ET, Vo T, Le V, Su Z (2013) Automatic detection of floating-point exceptions. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, ACM, New York, POPL ’13, pp 549–560
3. Benhamou F, Granvilliers L (2006) Continuous and interval constraints. In: Rossi F, Pv B, Walsh T (eds) Handbook of constraint programming. Elsevier, New York, pp 571–604
4. Bofill M, Nieuwenhuis R, Oliveras A, Rodríguez-Carbonell E, Rubio A (2008) The barcelogic SMT solver. In: Gupta A, Malik S (eds) Computer aided verification. Springer, Berlin, pp 294–298
5. Brain M, D’Silva V, Griggio A, Haller L, Kroening D (2014) Deciding floating-point logic with abstract conflict driven clause learning. Form Methods Syst Des 45:213–245
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献