|
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]
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]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 10576)
» Popularity: 0.28% (Rank 19418)

(click to enlarge graphs)
Record hits: 5,349
URL hits: 1,889
Subscribers: 3
|
|