The KindSoftware Coding Standards

Table of Contents:

  1. Introduction
  2. Documentation
  3. Naming Conventions
  4. Semantic Properties
  5. Tools
  6. Code Examples
  7. References
  8. Specific Recommendations for:
    1. Java
    2. Eiffel
  9. Credits


This document was originally written by Joseph Kiniry while a member of the Compositional Computing research group in the Department of Computer Science at the California Institute of Technology. It is now maintained and extended by KindSoftware. It is currently edited by Joseph Kiniry.

Contributions from (in alphabetical order): Todd Papaioannou, Donnie Pinkston, Daniel Zimmerman.

Please send comments to <kiniry@acm.org>