ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
- 1 August 2020
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 64 (7) , 1393-1418
Abstract
No abstract availableKeywords
Funding Information
- Japan Society for the Promotion of Science (JP15H05706, JP20H00577)
This publication has 37 references indexed in Scilit:
- Compositional and Lightweight Dependent Type Inference for ML2013
- A Data Driven Approach for Algebraic Loop Invariants2013
- Verification as Learning Geometric Concepts2013
- A Verification Toolkit for Numerical Transition Systems2012
- Competition on Software Verification2012
- OCaml for the MassesQueue, 2011
- HMC: Verifying Functional Programs Using Abstract InterpretersLecture Notes in Computer Science, 2011
- SAT-Based Model Checking without Unrolling2011
- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover2009
- Z3: An Efficient SMT Solver2008