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

Differences between preliminary and final ADA.. ACM SIGPLAN Notices, 16 (8): 69-81 (1981)Program-Variations-in-the-Small.. SCM, volume 30 of Berichte des German Chapter of the ACM, page 175-196. Teubner, (1988)Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK., , and . Ada Deutschland Tagung, page 127-145. Shaker Verlag, (2002)A Prolog Debugger Based on a Refined Box Model., , and . LPE, page 46-51. (1990)Zum Begriff des Prozesses: am Beispiel von PEARL.. Elektron. Rechenanlagen, 20 (6): 277-282 (1978)Ada: die neuen Konzepte.. Elektron. Rechenanlagen, 24 (4): 175-186 (1982)Visualisierung in der Software-Entwicklung.. GI Jahrestagung (1), volume 257 of Informatik-Fachberichte, page 40-72. Springer, (1990)Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt., and . Inform. Spektrum, 16 (6): 341-348 (1993)Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.. J. Univers. Comput. Sci., 3 (2): 120-146 (1997)Oprema - The Relay Computer of Carl Zeiss Jena.. CoRR, (2019)