Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Animating Programs Using Smalltalk., und . Computer, 18 (8): 61-71 (1985)Computer Interval Arithmetic: Definition and Proof of Correct Implementation., und . J. ACM, 17 (4): 603-612 (1970)An interactive program verification system., , und . Reliable Software, Seite 482-492. ACM, (1975)Correctness of a compiler for a Lisp subset.. Proving Assertions About Programs, Seite 121-127. ACM, (1972)Notes on the Design of Euclid., , , , und . Language Design for Reliable Software, Seite 11-18. ACM, (1977)Report on the programming language Euclid., , , , und . ACM SIGPLAN Notices, 12 (2): 1-79 (1977)Certification of algorithm 245 M1: treesort 3: proof of algorithms - a new kind of certification.. Commun. ACM, 13 (6): 371-373 (1970)A Proof Rule for Euclid Procedures., , und . Formal Description of Programming Concepts, Seite 211-220. North-Holland, (1977)Remarks on the impact of program verification on language design.. Design and Implementation of Programming Languages, Volume 54 von Lecture Notes in Computer Science, Seite 313-320. Springer, (1976)A view of program verification.. Reliable Software, Seite 534-545. ACM, (1975)