direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2000

P. Hofstedt (2000). Cooperating Constraint Solvers. Proc. of Sixth International Conference on Principles and Practice of Constraint Programming - CP 2000. Springer-Verlag.


P. Hofstedt (2000). Better Communication for Tighter Cooperation. First International Conference on Computational Logic - CL 2000. Springer-Verlag.


Thomas Nitsche (2000). Shapeliness Analysis of Functional Programs with Algebraic Data Types. Science of Computer Programming, 225-252.


Wolfgang Grieskamp and Markus Lepper (2000). Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR 2000 – 7th International Conference on Logic for Programming and Automated Reasoning


Wolfgang Grieskamp and Markus Lepper (2000). Using Use Cases in Executable Z. ICFEM 2000 – IEEE Conference on Formal Engineering Methods


Thomas Nitsche (2000). Skeleton Implementations based on Generic Data Distributions. 2nd International Workshop on Constructive Methods for Parallel Programming (CMPP'2000), Ponte de Lima, Portugal, 19-34.


Wolfgang Grieskamp (2000). A Set-Based Calculus and its Implementation. Technische Universität Berlin


P. Pepper and M. Cebulla and K. Didrich and W. Grieskamp (2000). From Program Languages to Software Languages. Proc. ACIDCA'2000, March 22-24, Monastir, Tunisia


1999


Klaus Didrich and Wolfgang Grieskamp and Florian Schintke and Till Tantau and Baltasar Trancon-y-Widemann (1999). Reflections in Opal. Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99)


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