direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1989

P. Pepper and W. Schulte (1989). Some Experiments on the Optimal Compilation of Applicative Languages. Proc. First Maghrebinian Seminar on Software Engineering and Artificial Intelligence, Constantine, Algeria, Sept. 1989, 1–19.


1988--1991

P. Pepper (1988–1991). Grundlagen der Informatik. Automatisierungstechnik


1987

M. Broy and P. Pepper and M. Wirsing (1987). On the algebraic definition of programming languages. ACM Transactions on Programming Languages and Systems, 54–99.


F.L. Bauer and H. Ehler and R. Horsch and B. Möller and H. Partsch and O. Paukner and P. Pepper (1987). The Munich Project CIP. Vol. II: The Transformation System CIP-S, LNCS 292. Springer Verlag, Berlin, Heidelberg, New York.


P. Pepper (1987). Application of modal logics to the reasoning about applicative programs. Program Specification and Transformation. Proc. IFIP TC 2 Working Conference. North-Holland, 429–449.


Peter Pepper (1987). Specification of distributed systems using modal logics. Computerintegrierter Arbeitsplatz im Büro. Proc. GI - 17. Jahrestagung. Springer Verlag, Berlin, Heidelberg, New York, 110–121.


P. Pepper (1987). A simple calculus for program transformation (inclusive of induction). Science of Computer Programming, 221–262.


1986

M. Broy and B. Möller and P. Pepper and M. Wirsing (1986). Algebraic implementations preserve program correctness. Sci. Comp. Prog., 35–53.


H. Partsch and P. Pepper (1986). Program transformations expressed by algebraic type manipulations. Technique et Sciences Informatiques, 197–212.


1985

F.L. Bauer and M. Broy and B. Möller and P. Pepper and M. Wirsing and others (1985). The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L. Springer Verlag, Berlin, Heidelberg, New York.


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