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.
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
- The strip function (see Sethi p.350), and the resulting output.
- All executable OBJ code from Higher Order Functions Considered
Unnecessary for Higher Order Programming, and the resulting output.
- Proof of (H) for the iter function,
and the resulting output.
To CSE 130 homepage
Maintained by Joseph Goguen
© 2000 - 2005 Joseph Goguen
Last modified: Thu Mar 3 18:18:00 PST 2005