Jump to content

Pict (programming language)

Add links
From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by PrimeBOT (talk | contribs) at 21:20, 18 January 2022 (→top: Task 24: remove a maintenance template following a TFD). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Pict
ParadigmConcurrent
DeveloperBenjamin C. Pierce and David N. Turner
Typing disciplineStatic
LicenseGNU General Public License
Filename extensions.pi
Websitewww.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
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]
  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

[edit]
[edit]


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Pict_(programming_language)&oldid=1066539430"