[Club2] 19.01.

[Norbert Schirmer]

Am 19.01 findet diesmal von 14.00-15.00 im John v. Neumann  00.11.038 der
(Bewerbungs-) Vortrag von Alexander Krauss statt:

  Ein Modulsystem f=FCr VeriFun
  - work in progress -=20

=46=FCr die Sprache des Verifikationstools VeriFun soll ein Modulkonzept
zur Strukturierung von Programmen und Beweisen entworfen werden.
Modulsysteme bekannter funktionaler Sprachen bieten eine Auswahl
interessanter Features, m=FCssen aber f=FCr die Verifikation meist durch
zus=E4tzliche Konzepte erweitert werden. Ein =DCberblick =FCber verschiedene
Varianten und ihre Features und Beschr=E4nkungen...

   Norbert