Synthesis modulo recursive functions
- Etienne Kneuss
- Viktor Kuncak
- et al.
- 2013
- OOPSLA 2013
Publications
Date
Featured collections
Popular topics
5 results at OOPSLA 2013
Refactoring with synthesis
- Veselin Raychev
- Max Schäfer
- et al.
- 2013
- OOPSLA 2013
On-the-fly capacity planning
- Nick Mitchell
- Peter F. Sweeney
- 2013
- OOPSLA 2013
Combining concern input with program analysis for bloat detection
- Suparna Bhattacharya
- K. Gopinath
- et al.
- 2013
- OOPSLA 2013
Effective race detection for event-driven programs
- Veselin Raychev
- Martin Vechev
- et al.
- 2013
- OOPSLA 2013