Pict (programming language)

PictParadigm| Concurrent

|

Developer| Benjamin C. Pierce and David N. Turner
Typing discipline| Static
License| GNU General Public License
Filename extensions| .pi
Website| www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
Influenced by

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

1. ↑ 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).

## Sources

* Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997

## External links

* , links to a compiler, manuals, tutorial

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Pict (programming language). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Pict_(programming_language)&oldid=189953"