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) (Αγγλικά)