H Zhu, G Petri, S Jagannathan - Proceedings of the 37th ACM SIGPLAN …, 2016 - dl.acm.org
This paper presents a novel automated procedure for discovering expressive shape specifications for sophisticated functional data structures. Our approach extracts potential …
In this paper we present type patterns: a notation for shape-carrying array types that enables the specification of dependent type signatures while maintaining flexibility and a high level …
Type systems for programming languages are both a rst line of defense against programmer mistakes, and an aid in structuring programs around data structures and functions that …
With science fiction of yore being reality recently with self-driving cars, wearable computers and autonomous robots, software reliability is growing increasingly important. A critical pre …