OBJ

Η 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.

Εξωτερικοί σύνδεσμοι 
 Αρχείο OBJ
 Η οικογένεια OBJ

Λογική για Υπολογιστές
Λογισμικό απόδειξης θεωρημάτων
Συναρτησιακές γλώσσες προγραμματισμού
Τυπικές μέθοδοι