Buscar
Mostrando ítems 1-7 de 7
Gradual Liquid Type Inference
(2018)
Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...