Harald Ganzinger
Informatiker
Geboren:
1950
Gestorben:
2004
Hat mitgewirkt an:
-
Optimierende Erzeugung von Übersetzerteilen aus formalen, implementierungsorientierten, schrittweise verfeinerten Sprachbeschreibungen
-
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17 - 19, 1985
-
Logic for programming and automated reasoning : 6th international conference ; proceedings
-
Programming logics : essays in memory of Harald Ganzinger