Getting software right with properties, generated tests, and proofs
Sprecher: Mike Sperber
Sprache: Englisch
Link: media.ccc.de
Unterhaltungswert: 1/5
Informationsgehalt: 3/5
Bonus: keiner
Nochmal?: Ja
Bewertung: Während letztes Jahr das Programmierenbeibringen im Fokus stand, ging es dieses Mal über die Möglichkeiten, die einem zur Verfügung stehen, um bereits während der Entwicklung Fehler in seinem Code zu finden. Selbstverständlich standen auch dieses Mal wieder funktionale Sprachen im Mittelpunkt.