Two-Way Collaboration Between Flow and Proof in SPARK
No abstract available.
Related papers
- Recursive Data Structures in SPARK CAV 2020
- Executing certified model transformations on Apache Spark SLE 2021
- Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis CC 2026
- The serious game: wemakewords Onward! 2011
- From Polyvariant flow information to intersection and union types JFP 2001
- Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus POPL 2025
- Talk versus work: characteristics of developer collaboration on the jazz platform OOPSLA 2012
- FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications PLDI 2026