php-deluxe.net - description OBJ3

Main Menu

Home news headline extended profiles private messaging encyclopedia downloads book lists polls contact us sitemap disclaimer

top books

MySQL (599)
Linux Device Drivers (576)
PHP 5 Power Programming (574)
Web Database Applications with PHP & MySQL (544)
Linux Server Performance Tuning (544)
Apache Security (529)
Apache Cookbook (524)
MySQL in a Nutshell (523)

Polls

encyclopedia

United Media

Revolution OS

Balaji Telefilms

Apophysis

List of GNU packages

Numa Numa

Ogle DVD Player

recommendation

compare webbrowser
Freenet DSL

OBJ3

OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.

=Reference=

Introducing OBJ3 , Joseph Goguen et al ., SRI-CSL-88-9, SRI International, USA, 1988.