Enforcing high-level protocols in low-level software

Robert DeLine, Manuel Fähndrich
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation
PLDI'01
Snowbird, Utah, USA
Association for Computing Machinery
New York, NY, USA
Pages 59--69
2001
Topic(s): tools verification
Note(s): contract driven development, permission logic, spec-sharp-project