OBJ (programming language)
http://dbpedia.org/resource/OBJ_(programming_language) an entity of type: Thing
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.
rdf:langString
OBJ — родина декларативних мов програмування надвисокого рівня, створена у 1976 році професором (англ. Joseph Goguen). Важливими представниками OBJ-родини є CafeOBJ, , , , і .
rdf:langString
Η OBJ είναι μια οικογένεια γλωσσών προγραμματισμού που δημιουργήθηκε από τον Joseph Goguen το 1976. Είναι μια οικογένεια δηλωτικών γλωσσών "πάρα πολύ υψηλού επιπέδου". Χαρακτηριστικά τους: αφηρημένοι τύποι δεδομένων, γενικές μονάδες κώδικα (generic modules), subsorts (υποτύποι με ), με εξισώσεις, E-στρατηγικές (στις οποίες ο χρήστης ελέγχει την οκνηρή αποτίμηση), εκφράσεις μονάδων κώδικα (για το συνδυασμό αυτών των μονάδων), θεωρίες (theories) και όψεις (views) (για την περιγραφή των interfaces των μονάδων). Γίνεται χρήση της μαζικά παράλληλης RRM (Rewrite Rule Machine).
rdf:langString
rdf:langString
OBJ
rdf:langString
OBJ (programming language)
rdf:langString
OBJ (мова програмування)
xsd:integer
1063976
xsd:integer
1057984230
rdf:langString
Η OBJ είναι μια οικογένεια γλωσσών προγραμματισμού που δημιουργήθηκε από τον Joseph Goguen το 1976. Είναι μια οικογένεια δηλωτικών γλωσσών "πάρα πολύ υψηλού επιπέδου". Χαρακτηριστικά τους: αφηρημένοι τύποι δεδομένων, γενικές μονάδες κώδικα (generic modules), subsorts (υποτύποι με ), με εξισώσεις, E-στρατηγικές (στις οποίες ο χρήστης ελέγχει την οκνηρή αποτίμηση), εκφράσεις μονάδων κώδικα (για το συνδυασμό αυτών των μονάδων), θεωρίες (theories) και όψεις (views) (για την περιγραφή των interfaces των μονάδων). Γίνεται χρήση της μαζικά παράλληλης RRM (Rewrite Rule Machine). Σημαντικά μέλη της οικογένειας των γλωσσών OBJ είναι η CafeOBJ, η , η , η , το Maude και η OBJ3.
rdf:langString
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.
rdf:langString
OBJ — родина декларативних мов програмування надвисокого рівня, створена у 1976 році професором (англ. Joseph Goguen). Важливими представниками OBJ-родини є CafeOBJ, , , , і .
xsd:nonNegativeInteger
2608