-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathREADME.html
154 lines (131 loc) · 6.22 KB
/
README.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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
<?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: README.html,v 206.2 2003/09/29 12:46:38 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>README for OBJ3 version 2.09</title>
<link rel="stylesheet" type="text/css" href="docs/base.css" />
<link rev="made" href="mailto:[email protected]" />
<meta name="keywords" content="OBJ3" />
<meta name="description" content="" />
</head>
<body>
<h1 align="center">README for OBJ3 2.09</h1>
<hr />
<!-- ============================================================ -->
<h2>Documentation</h2>
<p> Several pieces of documentation come with this OBJ3 release,
including a <a href="FAQ.html">FAQ</a>, <a
href="RELEASE_NOTES.html">Release Notes</a>, a <a
href="TODO.html">TODO list</a>, a <a href="BUGS.html">known bug
list</a>, and some introductory <a href="docs/index.html">OBJ3
papers</a>. </p>
<p> The two canonical references for learning OBJ3 are the classic <a
href="http://mitpress.mit.edu/book-home.tcl?isbn=026207172X"><strong>Algebraic
Semantics of Imperative Programs</strong></a> by <em>Joseph
A. Goguen</em> and <em>Grant Malcolm</em> published by <a
href="http://www.mitpress.com/">MIT Press</a> in 1996, and the new <a
href="http://www.wkap.nl/book.htm/0-7923-7757-5"><strong>Software Engineering
with OBJ: Algebraic Specification in Action</strong></a>, edited by
<em>Joseph A. Goguen and Grant Malcolm</em>, published by <a
href="http://www.wkap.nl/">Kluwer Academic Publishers</a> in 2Q, 2000 [<a
href="docs/obj_bib.html#GoguenMalcolm96-ASoIP">GoguenMalcolm96-ASoIP</a>,
<a href="docs/obj_bib.html#GoguenMalcolm00">GoguenMalcolm00</a>]. The
new book compiles many of the seminal OBJ3-related papers into one
complete reference text --- we <em>highly</em> recommend it! </p>
<h2>Building OBJ3</h2>
<p> Thanks go primarily to <a href="mailto:[email protected]">Sula Ma</a>
at Oxford for the OBJ3 2.04 port to GCL 2.2.2. Sula is preparing a new
branch of OBJ called "OBJ4", and the port was part of that work. </p>
<p> Please see the <a href="source/README.html">source README</a> for
information on building OBJ3. </p>
<h2>Using OBJ3</h2>
<p> The best references for getting up-to-speed with OBJ3 are listed
in the <a href="FAQ.html#documentation">OBJ3 FAQ</a> and are indexed
in the <a href="docs/obj_bib.html">OBJ/Algebra bibliography</a>
included with this release. We <strong>strongly</strong> suggest
reading the <em>Introducing OBJ</em> paper (a <a
href="http://www-cse.ucsd.edu/users/goguen/ps/iobj.ps.gz">draft</a> is
available via Joseph Goguen's <a
href="http://www-cse.ucsd.edu/users/goguen/sys/obj.html">OBJ web
page</a>) and the two Goguen-Malcolm books. Most academic libraries
should already have a copy of the <em>Algebraic Semantics</em> text
[<a href="docs/obj_bib.html#GoguenMalcolm96">GoguenMalcolm96</a>].
Encourage your library to purchase a copy of the new <em>Software
Engineering with OBJ</em> text [<a
href="docs/obj_bib.html#GoguenMalcolm00">GoguenMalcolm00</a>].
Finally, a good overview of the use of OBJ3 in teaching formal methods
can be found in <em>Teaching And Learning Formal Methods</em> [<a
href="docs/obj_bib.html#GoguenMalcolm96">GoguenMalcolm96</a>]. </p>
<p> For those primarily interested in parameterized programming, the
paper <a href="http://www-cse.ucsd.edu/users/goguen/ps/will.ps.gz">An
Implementation-Oriented Semantics for Module Composition</a> is a
must-read [<a
href="docs/obj_bib.html#GoguenTracz97">GoguenTracz97</a>]. For those
interested in higher-order logics/programming/rewriting, <a
href="http://www-cse.ucsd.edu/users/goguen/ps/hobj.ps.gz">More Higher
Order Programming with OBJ3</a> is a good start [<a
href="docs/obj_bib.html#GoguenMalcolm00-HOP">GoguenMalcolm00-HOP</a>].
Other references include [<a
href="docs/obj_bib.html#Wolfram93">Wolfram93</a>] and [<a
href="docs/obj_bib.html#Goguen90-HOP">Goguen90-HOP</a>].</p>
<p> For users interested in extending the OBJ3 system, please see [<a
href="docs/obj_bib.html#Winkler-NewFeatures">Winkler-NewFeatures</a>]
and [<a
href="docs/obj_bib.html#WinklerMeseguer-Builtins">WinklerMeseguer-Builtins</a>],
both of which are included in this release. </p>
<p> Finally, for information on the use of the TRIM system, see the
paper "<em>Introducing TRIM</em>" included with this distribution. </p>
<h2>Questions or comments?</h2>
<p> Please email <a
href="mailto:[email protected]">[email protected]</a>
if you have any questions, comments, or other feedback about this
release. General OBJ3 questions should be addressed to <a
href="mailto:[email protected]">[email protected]</a>. </p>
<hr />
<!-- ============================================================ -->
<!-- Toolbar at bottom of all major top-level pages -->
<p align="center">
[ <a href="index.html"> Index </a> ]
[ Readme ]
[ <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="source/README.html"> Source </a> ]
[ <a href="docs/index.html"> Papers </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 <[email protected]></address>
<!-- hhmts start -->
Last modified: Mon Sep 29 13:58:36 CEST 2003
<!-- hhmts end -->
</body>
</html>