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