Prev Up Next
Go backward to Literate Generic Programming
Go up to Top
Go forward to Anatomy of a List Class

Formal Specification of STL Container and Iterator Concepts

  1. D. Kapur and D. R. Musser, Tecton: a framework for specifying and verifying generic system components. This paper is mostly superceded by the one following, but the introduction section may still be useful.
  2. D. R. Musser, The Tecton Concept Description Language, working draft of a paper that revises and attempts to clarify the semantics of Tecton.
  3. D. R. Musser, Tecton Description of STL Container and Iterator Concepts, working draft of a paper that uses the Tecton concept description language to give the first rigorous specification of key STL concepts and component semantics.


 

Prev Up Next