To wydarzenie już się odbyło. Sprawdź nadchodzące wydarzenia
DRUG SC #20 – Contracts for checking code correctness
Wydarzenie:
DRUG SC #20 - Contracts for checking code correctness
Typ wydarzenia:
Spotkanie
Kategoria:
Tematyka:
Data:
02.02.2015 (poniedziałek)
Godzina:
19:00
Język:
polski
Wstęp:
Bezpłatne
Miasto:
Miejsce:
Kontynuacja
Adres:
Ofiar Oświęcimskich 17
Zaloguj się, by zgłosić zmianę.
Opis:
Comiesięczne spotkanie grupy DRUG Software Craftsmanship.
Każdy temat ma przypisane jeden lub kilka artykułów jakie należy przeczytać przed przyjściem i podczas spotkania odbywają się dyskusje na ten temat.
Materiały do przeczytania przed spotkaniem:
- ghc.haskell.org/trac/ghc/wiki/Commentary/Contracts
- https://github.com/cpa/haskellcontracts-examples
- https://github.com/egonSchiele/contracts.ruby
- http://research.microsoft.com/en-us/um/people/simonpj/papers/verify/HaskellContract.ps