Pict: A Programming Language Based on the Pi-Calculus

by: Benjamin C Pierce, David N Turner

edited by: G Plotkin, C Stirling, M Tofte

(2000)

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

jrw, tautologico, wneumann, cogumbreiro, shimomura

Find related articles with these CiteULike tags

2000, compiler, computation, concurrency, concurrent, functional, implementation, languages, networks, pi, pi-calculus, pict, process

Abstract

The π-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the λ-calculus have direct counterparts in the π-calculus, yielding strong, static typing for a high-level language using the π-calculus as its core.

@inproceedings{citeulike:158552, abstract = {The \&pi;-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the \&lambda;-calculus have direct counterparts in the \&pi;-calculus, yielding strong, static typing for a high-level language using the \&pi;-calculus as its core.}, author = {Pierce, Benjamin C. and Turner, David N. }, booktitle = {Proof, Language and Interaction: Essays in Honour of Robin Milner}, citeulike-article-id = {158552}, editor = {Plotkin, G. and Stirling, C. and Tofte, M. }, keywords = {concurrency, languages, pi-calculus}, posted-at = {2008-04-11 23:53:23}, priority = {2}, publisher = {MIT Press}, title = {Pict: A Programming Language Based on the Pi-Calculus}, url = {http://citeseer.ist.psu.edu/pierce97pict.html}, year = {2000} }

RIS record

TY - CONF ID - citeulike:158552 L3 - citeulike-article-id:158552 TI - Pict: A Programming Language Based on the Pi-Calculus T2 - Proof, Language and Interaction: Essays in Honour of Robin Milner PB - MIT Press N2 - The &pi;-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the &lambda;-calculus have direct counterparts in the &pi;-calculus, yielding strong, static typing for a high-level language using the &pi;-calculus as its core. KW - concurrency KW - languages KW - pi-calculus AU - Pierce, Benjamin AU - Turner, David A2 - Plotkin, G A2 - Stirling, C A2 - Tofte, M PY - 2000/// UR - http://citeseer.ist.psu.edu/pierce97pict.html ER -

RIS BibTeX