Pict (programming language)

{{Infobox programming language

| name = Pict

| logo =

| logo caption =

| screenshot =

| screenshot caption =

| paradigm = Concurrent

| family =

| designer =

| developer = Benjamin C. Pierce and David N. Turner

| released =

| latest release version =

| latest release date =

| latest preview version =

| latest preview date =

| typing = Static

| scope =

| programming language =

| discontinued =

| platform =

| operating system =

| license = GNU General Public License

| file ext = .pi

| file format =

| website = {{URL|https://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html}}

| implementations =

| dialects =

| influenced by = ML

| influenced = 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.

References

{{reflist|refs=

{{cite journal |last1=Sewell |first1=Peter |last2=Wojciechowski |first2=Pawel |last3=Unyapot |first3=Asis |title=Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation |journal=ACM Transactions on Programming Languages and Systems |date=2010 |volume=32 |issue=4|doi=10.1145/1734206.1734209 }}

}}

Sources

  • [http://citeseer.ist.psu.edu/pierce97pict.html Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997]