Pict (programming language)
- Pict (programming language)
Pict is a statically typed programming language based on the pi-calculus, one of very few languages to do this. Work on the language began at the University of Edinburgh in 1992. The language is still at an experimental stage.
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 ]
External links
* [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html The Pict Programming language ] (With links to a compiler, manuals and a tutorial)
Wikimedia Foundation.
2010.
Look at other dictionaries:
Clipper (programming language) — Clipper Appeared in 1985 (1985) Stable release CA Clipper 5.3b (May 20, 1997) OS DOS Website http://www.grafxsoft.com/clipper.htm … Wikipedia
Orc (programming language) — Orc Paradigm(s) concurrent, nondeterministic Appeared in 2004 Designed by Jayadev Misra Developer Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others Influenced by … Wikipedia
List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Concurrent computing — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent c … Wikipedia
Flagship compiler — FlagShip is both object oriented and procedural programming language, based on the xBase language dialect and conventions. FlagShip is available for and is cross compatible to different computer platforms, such as Linux, Unix and Microsoft… … Wikipedia
Portable Document Format — PDF redirects here. For other uses, see PDF (disambiguation). Portable Document Format Adobe Reader icon Filename extension .pdf Internet media type application/pdf application/x pdf application/x bzpdf application/x gzpdf … Wikipedia
Resource fork — The resource fork is a construct of the Mac OS operating system used to store structured data in a file, alongside unstructured data stored within the data fork. A resource fork stores information in a specific form, such as icons, the shapes of… … Wikipedia
Function composition (computer science) — In computer science, function composition (not to be confused with object composition) is an act or mechanism to combine simple functions to build more complicated ones. Like the usual composition of functions in mathematics, the result of the… … Wikipedia
QuickTime — (Classic) … Wikipedia
