User loginNavigation |
Specification and Verification: The Spec# ExperienceMike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Muller, Wolfram Schulte, and Herman Venter, Specification and Verification: The Spec# Experience" Preprint of an article appearing in the June 2011 CACM. CACM tagline: Can a programming language really help programmers write better programs?
Spec# is, in some ways, quite similar to JML+ESC/Java2. But Spec# is a language rather than a set of annotations, which allows it to incorporate features such as a non-null type system and a very tight integration with the IDE. Spec# was previously mentioned on LtU back in 2005. By Allan McInnes at 2011-06-01 06:11 | Implementation | OOP | Software Engineering | other blogs | 12924 reads
|
Browse archivesActive forum topics |
Recent comments
1 hour 9 min ago
1 hour 24 min ago
3 hours 26 min ago
6 hours 48 min ago
6 days 59 min ago
6 days 6 hours ago
6 days 23 hours ago
1 week 6 hours ago
1 week 8 hours ago
1 week 13 hours ago