.
Η OBJ3 είναι μια έκδοση της OBJ που βασίζεται στην επαναγραφή διατεταγμένων τύπων (order-sorted rewriting). Η OBJ3 είναι προσανατολισμένη σε agents και εκτελείται στην AKCL. Έχει πια (σημαντικό) ιστορικό ενδιαφέρον, λόγω της ύπαρξης νεότερων εκδόσεων της οικογένειας OBJ.
Παραπομπές
Introducing OBJ3, Joseph Goguen et al., SRI-CSL-88-9, SRI International, USA, 1988. (Αγγλικά)
Εξωτερικοί σύνδεσμοι
Πληροφορίες και εγχειρίδιο της OBJ3 (μορφή PostScript) (Αγγλικά)
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
