Rewriting Logic Techniques for Program Analysis and Optimization

Autores UPV
Año
CONGRESO Rewriting Logic Techniques for Program Analysis and Optimization

Abstract

Debugging is the process of locating and fixing errors in computer programs. Debugging is essential in software development and almost every programming language has its own specialized tools for the task, with high variability regarding their debugging power. This paper briefly describes ongoing research towards a Ph.D. thesis on universal debugging, a proposal to develop a program debugging framework that is potentially compatible with any programming language, under the supervision of Professor of Computer Science María Alpuente.