Benutzer: Gast  Login
Originaltitel:
A Theory for Nondeterminsm, Parallelism, Communication and Concurrency 
Übersetzter Titel:
Eine Theorie zu Nicht-Determinismus, Parallelismus, Kommunikation und Nebenläufigkeit 
Informationen zum Autor:
Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994. 
Homepage des Autors:
Jahr:
1982 
Dokumenttyp:
Habilitation 
Institution:
Fakultät für Mathematik 
Gutachter:
Bauer, Friedrich Ludwig (Prof. Dr. Dr. h.c.); Paul, Manfred (Prof. Dr.); Dennis, Jack Bonnell (Prof. Dr.) 
Format:
Text 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
fixed point semantics, ambiguity operator, nondeterminism, communication, concurrency 
Übersetzte Stichworte:
Fixpunktsemantik, Gleichheits-Operator, Nichtdeterminismus, Kommunikation, Nebenläufigkeit 
Schlagworte (SWD):
Parallelverarbeitung; Programmiersprache; Semantik; Fixpunkttheorie 
Kurzfassung:
The theory of multidomains is given. A fixed point semantics for a nondeterministic, applicative programming language working with finite and infinite streams is based on it. An operational semantics for the parallel evaluation of expressions of this language is defined in the form of the term rewrite rules. Systems of expressions communicating by streams are introduced by mutually recursive fixed point equations for streams. The fixed point theory on multidomains is complemented by a second the...    »
 
Übersetzte Kurzfassung:
Es wird eine Theorie über Multidomänen zur Verfügung gestellt. Darauf basiert eine Fixpunktsemantik für eine nicht-deterministische, applikative Programmiersprache, die mit finiten und infiniten Datenströmen arbeitet. Eine operative Semantik für die parallele Evaluierung von Ausdrücken dieser Sprache wird in der Form des Begriffs der Überschreibungsregeln definiert. Systeme von Ausrücken, die durch Datenströme kommunizieren, werden durch gegenseitig rekursive Fixpunkt-Gleichungen für Datenströme...    »
 
Veröffentlichung:
Alumni & Career Service 
Hinweis:
Die Retrodigitalisierung konnte dank Spenden von Alumni der TU München finanziert werden. 
Erteilung der Lehrbefähigung:
17.12.1982 
Seiten:
105 
BVB-ID:
BV002160014 
Letzte Änderung:
29.02.2008