[Club2] KORREKTUR -- Quickcheck in Isabelle/HOL

[Florian Haftmann]

> Do 9. Juli, 10:30 im John v. Neumann (00.11.038)

(nicht 14:30 Uhr, nicht Alan Turing)!

> Quickcheck ist ein aus der Programmiersprache Haskell nach Isabelle/HOL
> übernommener Ansatz zur Suche von Gegenbeispielen für vermeintliche
> Theoreme.
> 
> Der Werkstattvortrag schildert die technische Umsetzung von Quickcheck
> mit einem besonderen Blick auf zugrunde liegende Mechanismen (u.a.
> Codegenerierung, Datentypinterpretation, User Space Typesystem).


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/mailman/private/club2/attachments/20090703/6b4ef29a/attachment.pgp>