Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Object capabilities encode permissions in objects to increase software security but see limited adoption according to this survey of post-2013 work.
citing papers explorer
-
Practical Range Refinement Types with Inference
Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.