Example programs written in Cleanroom style

This page is mostly obsolete. For current work, see Lightweight literate programming.

I've written several Icon programs now using Cleanroom. Here are pointers to documentation and sources.

• PyStyler is a tool for generating a cohesive structure of World Wide Web pages. It is a Python reimplementation of WebStyler, written in Icon.
• The taxonomy objects are tools for representing biological classifications.
• Most of my programs use modules from my standard object library.
• You may find these programs easier to follow if you look at my naming conventions.

Here are some examples of Cleanroom work in the Python language:

• `Cleanroom examples: Prime number testing'
  Functions for prime factorization and primality testing of numbers.
• `Cleanroom examples: skiplist.py, a container class'
  A container class for ordered sets, using a skip list. Verified and in production use. Based on the Icon skip list container; see `My Cleanroom object library'.
• `Cleanroom examples: xhue.py, a GUI application'
  An experiment in GUI programming using Cleanroom style; unverified, but a working program with no known bugs.

Last updated: 2005/05/26 18:23:01
URL: http://www.nmt.edu/~shipman/soft/clean/examples.html