Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...