Author of the publication

The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.

, and . Softw. Pract. Exp., 20 (10): 985-1006 (1990)

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

Visualisierung in der Software-Entwicklung.. GI Jahrestagung (1), volume 257 of Informatik-Fachberichte, page 40-72. Springer, (1990)Differences between preliminary and final ADA.. ACM SIGPLAN Notices, 16 (8): 69-81 (1981)Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK., , and . Ada Deutschland Tagung, page 127-145. Shaker Verlag, (2002)Program-Variations-in-the-Small.. SCM, volume 30 of Berichte des German Chapter of the ACM, page 175-196. Teubner, (1988)A Prolog Debugger Based on a Refined Box Model., , and . LPE, page 46-51. (1990)A safe variant of the unsafe integer arithmetic of JavaTM.. Softw. Pract. Exp., 32 (7): 669-701 (2002)Some improvements of ISO-Pascal.. ACM SIGPLAN Notices, 19 (7): 65-78 (1984)Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I.. Inform. Spektrum, 2 (4): 219-229 (1979)Formale Definition der Semantik von Prozessoperationen.. Implementierungssprachen für nichtsequentielle Programmsysteme, volume 7 of Berichte des German Chapter of the ACM, page 26-36. Teubner, (1981)Eine Konfigurationssprache für Ada.. Software-Architektur, volume 26 of Berichte des German Chapter of the ACM, page 107-122. Teubner, (1986)