Pict (programming language)
(Redirected from Pict programming language)
| 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] | |
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.
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
[edit]External links
[edit]- Official website, links to a compiler, manuals, tutorial
 | This programming-language-related article is a stub. You can help Wikipedia by adding missing information. |