By Mirek Truszczynski,
University of Kentucky, USA
Month: October 2019
Polyvariant program specialisation and its application in program analysis and verification
By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, [email protected] Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…