STLlint: lifting static checking from languages to libraries

@inproceedings{Gregor2006STLlintLS,
  title={STLlint: lifting static checking from languages to libraries},
  author={Douglas P. Gregor and Sibylle Schupp},
  year={2006}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS

Techniques for specifying bug patterns

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Source-to-Source Instrumentation for Profiling Runtime Behavior of C++ Containers

  • 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Similar Papers

Loading similar papers…