OBJ3

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
 Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. Βοηθήστε συνδέοντας το κείμενο με τις πηγές χρησιμοποιώντας παραπομπές, ώστε να είναι επαληθεύσιμο.
Το πρότυπο τοποθετήθηκε χωρίς ημερομηνία. Για τη σημερινή ημερομηνία χρησιμοποιήστε: {{χωρίς παραπομπές|26|04|2024}}

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

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

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

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

Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=OBJ3&oldid=9647441"