direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1981

F.L. Bauer and M. Broy and W. Dosch and R. Gnatz and B. Krieg-Brückner and A. Laut and M. Luckmann and T.A. Matzner and B. Möller and H. Partsch and P. Pepper and K. Samelson and R. Steinbrüggen and M. Wirsing and H. Wössner (1981). Programming in a wide spectrum language: a collection of examples. Science of Computer Programming, 73–114.


F. L. Bauer and P. Pepper and others (1981). Programming in a wide-spectrum language: a collection of examples. Science of Computer Programming, 73–114.


M. Broy and P. Pepper (1981). Program development as a formal activity. IEEE Transactions on Software Engineering, 14–22.


1980

M. Broy and H. Partsch and P. Pepper and M. Wirsing (1980). Semantic relations in programming languages. Proc. IFIP Congress 1980, Melbourne. North-Holland, 101–106.


M. Broy and P. Pepper and M. Wirsing (1980). On relations between programs. Proc. of the 4th International Symposium on Programming, Paris, April 1980. LNCS 83. Springer Verlag, Berlin, Heidelberg, New York, 59–78.


F.L. Bauer and M. Broy and H. Partsch and P. Pepper (1980). Das aktuelle Schlagwort: Programmtransformationen. Informatik Spektrum, 192–193.


1979

F.L. Bauer and M. Broy and H. Partsch and P. Pepper and H. Wössner (1979). Special transformation techniques. Program Construction. Proc. of the International Summer School, Marktoberdorf 1978. Lecture Notes in Computer Science 69. Springer Verlag, Berlin, Heidelberg, New York, 273–289.


M. Broy and W. Dosch and H. Partsch and P. Pepper and M. Wirsing (1979). Existential quantifiers in abstract data types. 6th Internat. Coll. Automata, Languages and Programming, LNCS 71. Springer Verlag, Berlin, Heidelberg, New York, 73–87.


P. Pepper (1979). A study on transformational semantics. Program Construction. Proc. of the Int. Summer School, Marktoberdorf 1978. Springer Verlag, Berlin, Heidelberg, New York, 322–405.


1978

F.L. Bauer and H. Partsch and P. Pepper and H. Wössner (1978). A transformational approach to programming. Program Transformations. Proc. of the 3rd Int. Symp. on Programming, March 28–30. Dunod, 248–262.


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