Dependent Array Type Inference from Tests
Abstract elided by the publisher.
Related papers
- Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler CC 1994
- Liquid types PLDI 2008
- Dependent types for JavaScript OOPSLA 2012
- Eliminating False Data Dependences using the Omega Test PLDI 1992
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- An algebraic array shape inference system for MATLAB TOPLAS 2006
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- Compilation of Haskell Array Comprehensions for Scientific Computing PLDI 1990