H ? « ‹ ← → › »

Language peer sets for PICT:
United Kingdom↑
United Kingdom/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

PICT (2365/pic016)
alternate simple view
Country: United Kingdom
Designed 1991

is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. The current release includes a PICT-to-C compiler, reference manual, tutorial, libraries for common data structures, example programs, and a rudimentary X-based widget toolkit. The core language, an asynchronous variant of Milner, Parrow, and Walker's pi-calculus, has been used as a theoretical foundation for a broad class of concurrent computations.
The goal is to identify high-level idioms that arise naturally when these primitives are used to build working programs, idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication and concurrent objects. Developed by Benjamin Pierce, University of Cambridge.

Places
Structures:
Related languages
Pi Calculus → PICT   Based on
PICT → Piccola   Influence
References:
  • Turner, David N, (1995) Turner, David N, "The Polymorphic Pi-Calculus: Theory and Implications" PhD Thesis Edinburgh 1995 Online copy Abstract
  • Walker, David (1995) Walker, David "Objects and the pi-calculus" Information and Computation, 1995.
  • Pierce, Benjamin C. and Turner, David N. (1996) Pierce, Benjamin C. and Turner, David N. "Pict Language Definition", Version 3.9d, 1996
  • Pierce, Benjamin C. (1997) Pierce, Benjamin C. and Turner, David N. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997. To appear in Milner festschrift, MIT Press.
  • Achermann, Franz (1998) Achermann, Franz "JPict - a framework for pi Agents" Technical Report, IAM, U. Bern, November 1998, tech. note ps
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder