| dbo:abstract
|
- Η OBJ είναι μια οικογένεια γλωσσών προγραμματισμού που δημιουργήθηκε από τον Joseph Goguen το 1976. Είναι μια οικογένεια δηλωτικών γλωσσών "πάρα πολύ υψηλού επιπέδου". Χαρακτηριστικά τους: αφηρημένοι τύποι δεδομένων, γενικές μονάδες κώδικα (generic modules), subsorts (υποτύποι με ), με εξισώσεις, E-στρατηγικές (στις οποίες ο χρήστης ελέγχει την οκνηρή αποτίμηση), εκφράσεις μονάδων κώδικα (για το συνδυασμό αυτών των μονάδων), θεωρίες (theories) και όψεις (views) (για την περιγραφή των interfaces των μονάδων). Γίνεται χρήση της μαζικά παράλληλης RRM (Rewrite Rule Machine). Σημαντικά μέλη της οικογένειας των γλωσσών OBJ είναι η CafeOBJ, η , η , η , το Maude και η OBJ3. (el)
- OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer. (en)
- OBJ — родина декларативних мов програмування надвисокого рівня, створена у 1976 році професором (англ. Joseph Goguen). Важливими представниками OBJ-родини є CafeOBJ, , , , і . (uk)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2608 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer. (en)
- OBJ — родина декларативних мов програмування надвисокого рівня, створена у 1976 році професором (англ. Joseph Goguen). Важливими представниками OBJ-родини є CafeOBJ, , , , і . (uk)
- Η OBJ είναι μια οικογένεια γλωσσών προγραμματισμού που δημιουργήθηκε από τον Joseph Goguen το 1976. Είναι μια οικογένεια δηλωτικών γλωσσών "πάρα πολύ υψηλού επιπέδου". Χαρακτηριστικά τους: αφηρημένοι τύποι δεδομένων, γενικές μονάδες κώδικα (generic modules), subsorts (υποτύποι με ), με εξισώσεις, E-στρατηγικές (στις οποίες ο χρήστης ελέγχει την οκνηρή αποτίμηση), εκφράσεις μονάδων κώδικα (για το συνδυασμό αυτών των μονάδων), θεωρίες (theories) και όψεις (views) (για την περιγραφή των interfaces των μονάδων). Γίνεται χρήση της μαζικά παράλληλης RRM (Rewrite Rule Machine). (el)
|
| rdfs:label
|
- OBJ (el)
- OBJ (programming language) (en)
- OBJ (мова програмування) (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
