Automatically Verifying Typing Constraints for a Data Processing Language
No abstract available.
DOI 10.1007/978-3-642-25379-9_22
Related papers
- Katara: synthesizing CRDTs with verified lifting OOPSLA 2022
- Language-integrated privacy-aware distributed queries OOPSLA 2019
- Data-trace types for distributed stream processing systems PLDI 2019
- Probabilistic Resource-Aware Session Types POPL 2023
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- MaxSMT-Based Type Inference for Python 3 CAV 2018
- Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching Haskell 2008
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011