Vorträge im Seminar Hochsprachen zur nebenläufigen und verteilten Programmierung

18.6.

Jochen Koberstein: Linda und JavaSpaces
N. Carriero, D. Gelernter: Linda in Context. Communications of the ACM, Vol. 32, No. 4, pp. 444--458, 1989.
(siehe auch JavaSpaces (Sun)) (Betreuer: Michael Hanus)

18.6.

Ralf Thöle: Jinni: Java-basierte Logiksprache zur Internet-Programmierung
(siehe Jinni Homepage) (Betreuer: Frank Steiner)

25.6.

Ingmar Puschnig: Facile: SML-Erweiterung zur verteilten fehlertoleranten Programmierung
B. Thomsen, L. Leth, T.-M. Kuo: A Facile Tutorial. In Proceedings of Seventh International Conference on Concurrency Theory (CONCUR'96), pp. 278--298. Springer LNCS 1119, 1996.
B. Thomsen, L. Leth, T.-M. Kuo: Facile - From Toy to Tool. In F. Nielson, editor, ML with Concurrency: Design, Analysis, Implementation, and Application, pp. 97-144. Springer, 1997.
(siehe auch Facile Pages) (Betreuer: Michael Hanus)

25.6.

Paul Mallach: Parallele und nebenläufige funktionale Programmierung mit Glasgow Distributed Haskell
(siehe auch GDH Pages) (Betreuer: Michael Hanus)

2.7.

Jonas Dageförde: Erlang-Programme und deren Verifikation
Thomas Arts, Thomas Noll: Verifying Generic Erlang Client-Server Implementations. In Proc. 12th International Workshop on the Implementations of Functional Languages, Aachen, Germany, Springer LNCS, 2001
T. Arts, M. Dam, L.- A. Fredlund, D. Gurov: System Description: Verification of Distributed Erlang Programs. In Proc. CADE-15, Springer LNAI 1421, pp. 38-41, 1998
(siehe auch Erlang Pages und Verification of Erlang Programs) (Betreuer: Frank Huch)