Contract-Based Data Structure Repair Using Alloy
Abstract elided by the publisher.
Related papers
- Repairing and mechanising the JavaScript relaxed memory model PLDI 2020
- Alloy: fast generic transformations for Haskell Haskell 2009
- Generators and the Replicator Control Structures in the Parallel Environment of ALLOY PLDI 1990
- History-Aware Data Structure Repair Using SAT TACAS 2012
- Garbage Collection for Rust: The Finalizer Frontier OOPSLA 2025
- Automatic detection and repair of errors in data structures OOPSLA 2003
- Starc: static analysis for efficient repair of complex data OOPSLA 2007
- Test-driven repair of data races in structured parallel programs PLDI 2014