Adam D. Barwell, Christopher Brown 0002, Susmit Sarkar. Towards Specification-Guarded Refactoring. In Juliana Bowles, Harald Søndergaard, editors, Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 14919 of Lecture Notes in Computer Science, pages 149-165, Springer, 2024. [doi]
Abstract is missing.