Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
The definition of kernel Oz
URN: urn:nbn:de:bsz:291-scidok-37290
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3729/
Quelle:
(1994) Kaiserslautern ; Saarbrücken : DFKI, 1994
pdf-Format:
Dokument 1.pdf (431 KB)
SWD-Schlagwörter:
Künstliche Intelligenz
Institut:
DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer:
94-23
Sprache:
Englisch
Erstellungsjahr:
1994
Publikationsdatum:
30.06.2011
Kurzfassung auf Englisch:
Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This paper defines Kernel Oz, a semantically complete sublanguage of Oz. It was an important design requirement that Oz be definable by reduction to a lean kernel language. The definition of Kernel Oz introduces three essential abstractions: the Oz universe, the Oz calculus, and the actor model. The Oz universe is a first-order structure defining the values and constraints Oz computes with. The Oz calculus models computation in Oz as rewriting of a class of expressions modulo a structural congruence. The actor model is the informal computation model underlying Oz. It introduces notions like computation spaces, actors, blackboards, and threads.
Lizenz:
Standard-Veröffentlichungsvertrag