Η OBJ3 είναι μια έκδοση της OBJ που βασίζεται στην επαναγραφή διατεταγμένων τύπων (order-sorted rewriting). Η OBJ3 είναι προσανατολισμένη σε agents και εκτελείται στην AKCL. Έχει πια (σημαντικό) ιστορικό ενδιαφέρον, λόγω της ύπαρξης νεότερων εκδόσεων της οικογένειας OBJ.

Παραπομπές Επεξεργασία

  • Introducing OBJ3, Joseph Goguen et al., SRI-CSL-88-9, SRI International, USA, 1988. (Αγγλικά)

Εξωτερικοί σύνδεσμοι Επεξεργασία