Inferring Dataflow Properties of User Defined Table Processors
Abstract elided by the publisher.
Related papers
- Automatic inference of optimizer flow functions from semantic meanings PLDI 2007
- Spreadsheet table transformations from examples PLDI 2011
- Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems GPCE 2015
- Highly scalable distributed dataflow analysis CGO 2011
- Inference of User-Defined Type Qualifiers and Qualifier Rules ESOP 2006
- Specializing planners for hierarchical multi-way dataflow constraint systems GPCE 2014
- Static specification inference using predicate mining PLDI 2007
- Inferring scope through syntactic sugar ICFP 2017