ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
Topics & Concepts
Invariant (physics)Type (biology)Function (biology)Extension (predicate logic)Order (exchange)Computer scienceTheoretical computer scienceDiscrete mathematicsMathematicsAlgorithmProgramming languageEcologyFinanceMathematical physicsEconomicsEvolutionary biologyBiologyLogic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques