Jens Knoop

3 published titles

Optimal interprocedural program optimization : a new framework and its application

1 edition

Compiler Construction : 20th international conference, CC 2011, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2

(Contributor)

1 edition

Leveraging applications of formal methods, verification, and validation : international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201

(Contributor)

1 edition