KIT | KIT-Bibliothek | Impressum | Datenschutz

Process calculus foundation of sequential programming constructs

Odersky, Martin

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.


Volltext §
DOI: 10.5445/IR/66694
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA666944
KITopen-ID: 66694
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,27.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page