.
Η OBJ είναι μια οικογένεια γλωσσών προγραμματισμού που δημιουργήθηκε από τον Joseph Goguen το 1976.
Είναι μια οικογένεια δηλωτικών γλωσσών "πάρα πολύ υψηλού επιπέδου". Χαρακτηριστικά τους: αφηρημένοι τύποι δεδομένων, γενικές μονάδες κώδικα (generic modules), subsorts (υποτύποι με πολλαπλή κληρονομικότητα), ταίριασμα προτύπων με εξισώσεις, E-στρατηγικές (στις οποίες ο χρήστης ελέγχει την οκνηρή αποτίμηση), εκφράσεις μονάδων κώδικα (για το συνδυασμό αυτών των μονάδων), θεωρίες (theories) και όψεις (views) (για την περιγραφή των interfaces των μονάδων). Γίνεται χρήση της μαζικά παράλληλης RRM (Rewrite Rule Machine).
Σημαντικά μέλη της οικογένειας των γλωσσών OBJ είναι η CafeOBJ, η Eqlog, η FOOPS, η Kumo, το Maude και η OBJ3.
Δείτε επίσης
Αλγεβρική σημασιολογία
Αυτοματοποιημένη απόδειξη θεωρημάτων
Σύστημα Maude
Τυπικές μέθοδοι
Παραπομπές
J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming. In Research Topics in Functional Programming.
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
