Pict programming language
Encyclopedia
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. The language is still at an experimental stage.
Type system
A type system associates a type with each computed value. By examining the flow of these values, a type system attempts to ensure or prove that no type errors can occur...
programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
, one of the very few based on the Π-calculus. Work on the language began at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
in 1992. The language is still at an experimental stage.
Sources
External links
- The Pict Programming language (With links to a compiler, manuals and a tutorial)