Refinement Type Inference via Horn Constraint Optimization

Abstract

We propose a novel method for inferring refinement types of higher-order functional programs. The main advantage of the proposed method is that it can infer maximally preferred (i.e., Pareto optimal) refinement types with respect to a user-specified preference order. The flexible optimization of refinement types enabled by the proposed method paves the way… (More)
DOI: 10.1007/978-3-662-48288-9_12
View Slides

Topics

5 Figures and Tables

Statistics

010203020162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics