oving, user interface
design, and hardware verification, among other things. It was the
first language to implement parameterized programming and its module
system influenced the designs of the Ada, C++ and ML module
systems. </p>

<p> This is OBJ3 version 2.09, a cleaned-up release of OBJ3 2.04 from
1992.  This version was built on a RedHat 8.0 box using glibc
2.3.2-4.30.6. </p>

<p> The TRIM compiler system by Lutz Hamel is included with OBJ3.  He
kindly integrated the TRIM system into our OBJ3 2.0.6 rele