• Corpus ID: 126206866

NET framework standard library annotated reference.

@inproceedings{Abrams2004NETFS,
  title={NET framework standard library annotated reference.},
  author={Bradley F. Abrams and Tamara Abrams},
  year={2004}
}

Topics from this paper

Accelerated C# 2008
Classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Nested Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Using History Invariants to Verify Observers
TLDR
A technique that expands the set of object invariants that one can reason about in modular verification and enables a flexible new way to specify and verify variations of the observer pattern, including iterators is contributed.