Autor der Publikation

On Correct Program Schemas

, , und . Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, Volume 1463 von LNCS, Seite 128--147. Springer-Verlag, (1998)

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

Formal Reasoning about Modules, Reuse and their Correctness., , und . FAPR, Volume 1085 von Lecture Notes in Computer Science, Seite 384-398. Springer, (1996)On the Relationship between Logic Programs and Specifications., und . APPIA-GULP-PRODE, Seite 433-444. (1997)On Correct Program Schemas, , und . Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, Volume 1463 von LNCS, Seite 128--147. Springer-Verlag, (1998)Software component models.. ICSE, Seite 1081-1082. ACM, (2006)OOD Frameworks in Component-Based Software - Development in Computational Logic., und . LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 101-123. Springer, (1998)Correct OO Systems in Computational Logic., und . LOPSTR, Volume 3018 von Lecture Notes in Computer Science, Seite 34-53. Springer, (2003)Towards Correct Object-Oriented Design Frameworks in Computational Logic., und . LOPSTR, Volume 2664 von Lecture Notes in Computer Science, Seite 260-261. Springer, (2002)Constructive Specifications for Compositional Units., , und . LOPSTR, Volume 3573 von Lecture Notes in Computer Science, Seite 198-214. Springer, (2004)Automatic Control Flow Generation from Software Architectures., und . SC@ETAPS, Volume 4089 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2006)Towards an introductory formal programming course., , und . SIGCSE, Seite 121-125. ACM, (1994)