About:
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.

Author:
Joseph Kiniry [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://secure.ucd.ie/products/opensource/OBJ3/
Tar/GZ:
http://sort.ucd.ie/[..]s/download.php/39/OBJ3-2.10a1-src.tar.gz
Zip:
http://sort.ucd.ie/frs/download.php/40/OBJ3-2.10a1-src.zip
Changelog:
http://sort.ucd.ie/frs/shownotes.php?release_id=38
CVS tree (cvsweb):
http://sort.ucd.ie/[..]/scmcvs/cvsweb.php/?cvsroot=cvsroot/obj3
Bug tracker:
http://sort.ucd.ie/tracker/?group_id=6
Mailing list archive:
http://sort.ucd.ie/mail/?group_id=6

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based)
[Intended Audience]		Developers, Other Audience, Quality Engineers
[License]		OSI Approved :: BSD License (original)
[Operating System]		OS Independent, POSIX :: Linux
[Programming Language]		Lisp, Other
[Topic]		Education, Scientific/Engineering, Scientific/Engineering :: Mathematics, Software Development :: Quality Assurance

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	2.10a1	08-Apr-2005	BSD License (original)