Using the Dafny Verification System in An Introduction To Algorithms Class

Algorithm students often have difficulty understanding and using problem specifications and algorithm outlines. During the first three weeks of an algorithms class, the author used Dafny to address this. Dafny is a programming language and verification system developed at Microsoft Research. A Dafny...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer Science and Education in Computer Science 2014, Vol.10 (1), p.23-29
1. Verfasser:	Braude, Eric
Format:	Artikel
Sprache:	eng
Schlagworte:	ICT Information and Communications Technologies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!