Author of the publication

Towards a tool kit for the automatic generation of interprocedural data flow analyses.

, , and . J. Prog. Lang., 4 (4): 211-246 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Guest Editorial: Parallel Systems and Compilers., , and . International Journal of Parallel Programming, 40 (1): 1-3 (2012)Optimal Code Motion: Theory and Practice., , and . ACM Trans. Program. Lang. Syst., 16 (4): 1117-1155 (1994)Software Aspects of Robotic Systems., and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 323. Springer, (2012)FFX: a portable WCET annotation language., , , , , and . RTNS, page 91-100. ACM, (2012)A Fresh Look at PRE as a Maximum Flow Problem., and . CC, volume 3923 of Lecture Notes in Computer Science, page 139-154. Springer, (2006)Finite Constants: Characterizations of a New Decidable Set of Constants., and . MFCS, volume 379 of Lecture Notes in Computer Science, page 481-491. Springer, (1989)Parallel Data-Flow Analysis of Explicitly Parallel Programs.. Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 391-400. Springer, (1999)Preface., and . Electron. Notes Theor. Comput. Sci., 82 (2): 343-344 (2003)Preface., , and . Electron. Notes Theor. Comput. Sci., 190 (4): 1-2 (2007)TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis., , and . WCET, volume 8 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)