Analysis and Specialisation of Imperative Programs:

Program analysis and specialisation for declarative languages have been subjects of active research during the last 2 decades or so. Imperative languages could benet from the advances made in declarative languages but most research on analysis and specialisation is language-specic. Thus, it would be desirable to build connections between both worlds, enabling the transfer of results from one to the other. The semantics of an imperative programming language can be expressed as a program in a declarative constraint language. Not only does this render the semantics (as potentially) executable, but it opens up the possibility of applying to imperative languages the advances made in program analysis and transformation of declarative languages. This thesis presents results on analysis and specialisation of imperative programs through analysis and specialisation of constraint logic programs. The cornerstone of this connection is a constraint logic program capturing the structural operational semantics of the subject imperative language whose programs are to be specialise