EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (112 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA666944
Titel Process calculus foundation of sequential programming constructs.
Autor Odersky, Martin
Institution Fakultät für Informatik (INFORMATIK)
Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Jahr 1994
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,27.)
Abstract
Most programming languages in use today have some way to express
concurrent execution of processes -- either in the language itself
or by means of a library. This paper proposes a formal basis for
reasoning about such languages.

We study an extension of asynchronous pi-calculus where names can
be returned from processes. We show that with this simple
extension an extensive range of functional, state-based and
control-based programming constructs can be expressed by concise
macro expansions,similar to Church-encodings in lambda calculus.