KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA666944

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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Jahr 1994
Sprache Englisch
Identifikator 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