CSE 130
Principles of Programming Languages
Some OBJ Examples

Below are links to a number of examples of OBJ code and results of executing that code. All examples use the BOBJ version of OBJ, which was coded by Kai Lin as part of his UCSD PhD thesis work.

  1. The strip function (see Sethi p.350), and the resulting output.
  2. All executable OBJ code from Higher Order Functions Considered Unnecessary for Higher Order Programming, and the resulting output.
  3. Proof of (H) for the iter function, and the resulting output.
For more information on OBJ, including how to download a Java version that you can run for yourself, go to the OBJ homepage; links to documentation and many further examples can also be found there.

To CSE 130 homepage
Maintained by Joseph Goguen
© 2000 - 2005 Joseph Goguen
Last modified: Thu Mar 3 18:18:00 PST 2005