|
gptkbp:instanceOf
|
gptkb:programming_language
|
|
gptkbp:designedBy
|
gptkb:Gert_Smolka
gptkb:Peter_Van_Roy
|
|
gptkbp:firstAppearance
|
1991
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Oz programming language
|
|
gptkbp:implementedIn
|
gptkb:Mozart_Programming_System
|
|
gptkbp:influenced
|
gptkb:Lisp
gptkb:Smalltalk
gptkb:Prolog
gptkb:Erlang
gptkb:Alice_ML
|
|
gptkbp:notableFeature
|
constraint programming
distributed programming
dataflow variables
support for concurrency
support for higher-order programming
support for lazy evaluation
support for logic variables
support for search
|
|
gptkbp:paradigm
|
object-oriented programming
functional programming
logic programming
multi-paradigm
concurrent programming
|
|
gptkbp:standard_textbook
|
gptkb:Concepts,_Techniques,_and_Models_of_Computer_Programming
|
|
gptkbp:textbook_authors
|
gptkb:Peter_Van_Roy
gptkb:Seif_Haridi
|
|
gptkbp:typingDiscipline
|
dynamic typing
static typing (optional)
|
|
gptkbp:used_in
|
teaching programming concepts
research in programming languages
|
|
gptkbp:website
|
https://mozart.github.io/
|
|
gptkbp:bfsParent
|
gptkb:Gert_Smolka
|
|
gptkbp:bfsLayer
|
6
|