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

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