OBJ3

Η 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) 

Λογισμικό απόδειξης θεωρημάτων
Συναρτησιακές γλώσσες προγραμματισμού
Τυπικές μέθοδοι