Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.
Swipe to navigate through the chapters of this book
- Type Error Slicing in Implicitly Typed Higher-Order Languages
J. B. Wells
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA