Refinement Types for Ruby

Milod Kazerounian, Niki Vazou, Austin Bourgerie +2

Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is buil…