Created 22 Jul 2000 at 22:10 UTC by kiniry.Homepage: http://www.kindsoftware.com/products/opensource/obj3/OBJ3/
Freshmeat page: http://freshmeat.net/appindex/2000/07/06/962912460.html
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, 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.
This project has the following developers:
Keep up with the latest Advogato features by reading the Advogato status blog.