direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1997

Klaus Didrich and Jürgen Exner and Carola Gerke and Wolfgang Grieskamp and Christian Mäder and Peter Pepper and Mario Südholt (1997). Towards a Redesign of OPAL.


P. Pepper and M. Südholt (1997). Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. Proceedings of the 30rd Hawaii International Conference on System Sciences, 7th–10th January 1997




Klaus Didrich (1997). Compiler Support for Correctness Proofs. Automated Theorem Proving in Software Engineering (CADE-14 workshop)


Peter Pepper (1997). Funktionale Programmierung (in Opal, ML und Haskell). TU Berlin, Skript für die Lehrveranstaltung Informatik-1.


Robert Büssow and Wolfgang Grieskamp (1997). Combinig Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. Advances in Computing Science – Asian '97. Springer-Verlag, 46–56.


Klaus Didrich and Wolfgang Grieskamp and Christian Mäder and Peter Pepper (1997). Programming in the Large: the Algebraic-Functional Language Opal 2α. Proceedings of the 9th International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997 (IFL'97), Selected Papers. Springer, 323 – 338.


Mario Südholt (1997). The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons. Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin


Robert Büssow and Robert Geisler and Wolfgang Grieskamp and Marcus Klar (1997). The mSZ Notation Version 1.0.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin