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.
| Pict | |
|---|---|
| Paradigm | Concurrent |
| Developer | Benjamin C. Pierce and David N. Turner |
| Typing discipline | Static |
| License | GNU General Public License |
| Filename extensions | .pi |
| Website | www |
| Influenced by | |
| ML | |
| Influenced | |
| Orc, Nomadic Pict[1] | |
References
edit- ^ 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). doi:10.1145/1734206.1734209.
Sources
editExternal links
edit- Official website, links to a compiler, manuals, tutorial
