-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathindex.html
124 lines (106 loc) · 4.65 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<?xml version="1.0" encoding="US-ASCII"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id: index.html,v 206.3 2003/09/29 15:10:24 kiniry Exp $ -->
<!--
OBJ3 2.06,2.08,2.09 Copyright (c) 2000-2003 Joseph Kiniry, Joseph Goguen
OBJ3 2.05 Copyright (c) 2000 Sula Ma, Joseph Kiniry, Joseph Goguen
OBJ3 2.04 Copyright (c) 1988,1991,1993 SRI International
TRIM Copyright (c) 1994,2001 Lutz Hamel
All Rights Reserved
-->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>OBJ3</title>
<link rel="stylesheet" type="text/css" href="docs/base.css" />
<link rev="made" href="mailto:kiniry@acm.org" />
<meta name="keywords" content="OBJ3" />
<meta name="description" content="" />
<!-- original background 85,85,119 -->
</head>
<body>
<h1 align="center">OBJ3 version 2.09</h1>
<hr />
<!-- ============================================================ -->
<h2 align="center">Summary</h2>
<p> "<a
href="http://www-cse.ucsd.edu/users/goguen/sys/obj.html">OBJ</a>"
refers to the language family, while "OBJ2", "<a
href="http://www.kindsoftware.com/products/opensource/OBJ3/">OBJ3</a>",
"<a href="http://cat.ucsd.edu:8008/cafeobj/">CafeOBJ</a>", etc. refer
to particular members. The OBJ languages are broad spectrum algebraic
programming and specification languages, based on order sorted
equational logic, possibly enriched with other logics, such as
rewriting logic or hidden equational logic. </p>
<p> All the OBJ languages are rigorously based upon a logical system;
more precisely, they are logical languages, in the sense that their
programs are sets of sentences in some logical system, and their
operational semantics is given by deduction in that logical
system. All recent OBJ languages use order sorted algebra, which also
provides a rigorous basis for user definable sub-types, exception
handling, multiple inheritance, overloading, multiple representations,
coercions, and more. They also support user definable mixfix syntax,
user definable execution strategies, rewriting modulo standard
equational theories (associative, commutative, etc.), and selective
memoization. </p>
<p> All recent OBJ languages provide parameterized programming, with
parameterized modules, module instantiation, views, module
expressions, etc., to support very flexible program structuring and
reuse. </p>
<p> OBJ3 is based on order sorted equational logic, and 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. </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 release - thanks
Lutz! The original 2.05 update was engineered by Sula Ma. All later
updates were engineered by Joseph Kiniry. </p>
<p> This release was built and is supported by <a
href="http://www.cs.kun.nl/~kiniry/">Joseph Kiniry</a> and runs under
GCL 2.5.3 and CMU Common Lisp 18e. Support for CLISP version 2.31 is
nearly complete as well. </p>
<hr />
<!-- ============================================================ -->
<!-- Toolbar at bottom of all major top-level pages -->
<p align="center">
[ Index ]
[ <a href="README.html"> Readme </a> ]
[ <a href="FAQ.html"> FAQ </a> ]
[ <a href="RELEASE_NOTES.html"> Release Notes </a> ]
[ <a href="TODO.html"> To-Do List </a> ]
[ <a href="BUGS.html"> Bug List </a> ]
[ <a href="docs/index.html"> Papers </a> ]
[ <a href="source/README.html"> Source </a> ]
[ <a href="docs/obj_bib.html"> Bibliography </a> ]
[ <a href="LICENSE.html"> License </a> ] </p>
<hr />
<!-- ============================================================ -->
<p align="center">
<a href="http://www.anybrowser.org/campaign/">
<img src="docs/graphics/anybrowser.png"
height="31" width="88" border="0"
alt="Best Viewed With Any Browser." />
</a>
<a href="http://validator.w3.org/check/referer">
<img src="docs/graphics/vxhtml10.png"
height="31" width="88" border="0"
alt="XHTML 1.0 Checked!" />
</a>
<a href="http://jigsaw.w3.org/css-validator/check/referer">
<img src="docs/graphics/vcss.png"
height="31" width="88" border="0"
alt="CSS, Level 2 Checked!" />
</a>
</p>
<address>by Joseph R. Kiniry <kiniry@acm.org></address>
<!-- hhmts start -->
Last modified: Mon Sep 29 15:39:44 CEST 2003
<!-- hhmts end -->
</body>
</html>