Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994.
Titel:
A Theory for Nondeterminsm, Parallelism, Communication and Concurrency
Übersetzter Titel:
Eine Theorie zu Nicht-Determinismus, Parallelismus, Kommunikation und Nebenläufigkeit
Abstract:
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 theory allowing for the definition of McCarthy’s ambiguity operator which is needed for the definition of nonstrict merging. The resulting language can be taken as foundation of semantics for data flow languages as well as for discussing nonconventional hardware architectures such as reduction machines and data flow machines. Finally directions of future research are outlined.
«
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...
»
übersetzter Abstract:
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 eingeführt. Die Fixpunkt-Theorie bei Multidomänen wird durch eine zweite Theorie unter Berücksichtigung der Definition von McCarthys Gleichheits-Operator, die für die Definition des nichtstrikten Zusammenlaufens benötigt wird, ergänzt. Die resultierende Sprache kann als Basis der Semantik sowohl für Datenflusssprachen als auch für das Diskutieren von nichtkonventionellen Hardwarearchitekturen, wie Verarbeitungs- und Datenflussgeräten genommen werden. Abschließend werden Richtungen zukünftiger Forschung aufgezeigt.
«
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ö...
»