Synthesizing Objects
Abstract elided by the publisher.
Related papers
- Synthesizing Object-Oriented and Functional Design to Promote Re-Use ECOOP 1998
- Synthesizing replacement classes POPL 2020
- Metamorph: Synthesizing Large Objects from Dafny Specifications OOPSLA 2025
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- Synthesizing contracts correct modulo a test generator OOPSLA 2021
- Hamsaz: replication coordination analysis and synthesis POPL 2019
- Syntax-Guided Synthesis with Quantitative Syntactic Objectives CAV 2018
- Synthesizing method sequences for high-coverage testing OOPSLA 2011