Pict (programming language)
This article needs attention from an expert in Computing.(November 2008)
|Developer||Benjamin C. Pierce and David N. Turner|
|License||GNU General Public License|
|Orc, Nomadic Pict|
Pict is a statically typed programming language, one of the very few based on the π-calculus. Work on the language began at the University of Edinburgh in 1992, and development has been more or less dormant since 1998. The language is still at an experimental stage.
- Sewell, Peter; Wojciechowski, Pawel; Unyapot, Asis (2010). "Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation". ACM Transactions on Programming Languages and Systems. 32 (4).
- Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997
- Official website, links to a compiler, manuals, tutorial