On the Compilation of Programs into their Equivalent Constraint Representation

Franz Wotawa, Mihai Nica. On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia), 32(4):359-371, 2008. [doi]

Abstract

Abstract is missing.