Benjamin C. Pierce, David N. Turner  Home/Search
Context Related
| indiana.edu/pub/pierce/p...design.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The π-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the λ-calculus have direct counterparts in the π-calculus, yielding strong, static typing for a high-level language using the π-calculus as its core. (Update)
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
Similar documents (at the sentence level):
63.9%: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
13.4%: Programming in the Pi-Calculus: A Tutorial Introduction to Pict - Pierce (1997) (Correct)
Active bibliography (related documents): More All
1.0: Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (Correct)
0.9: Pict Language Definition - Pierce, Turner (1996) (Correct)
0.8: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.8: A Typed Higher-Order Programming Language Based on the.. - Pierce, Rémy.. (1993) (Correct)
0.5: Concurrent Objects in a Process Calculus - Pierce, Turner (1995) (Correct)
0.2: Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993) (Correct)
Related documents from co-citation: More All
56: Information and Computation (context) - Milner, Parrow et al. - 1992
32: Expressing Mobility (context) - Sangiorgi - 1993
28: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
BibTeX entry: (Update)
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997. To appear in Milner festschrift, MIT Press. http://citeseer.ist.psu.edu/pierce97pict.html More
@inproceedings{ pierce00pict,
author = "Benjamin C. Pierce and David N. Turner",
title = "Pict: {A} Programming Language Based on the Pi-Calculus",
booktitle = "Proof, Language and Interaction: Essays in Honour of Robin Milner",
publisher = "{MIT} {P}ress",
editor = "G. Plotkin and C. Stirling and M. Tofte",
isbn = "ISBN 0-262-16188-5",
year = "2000",
url = "citeseer.ist.psu.edu/pierce97pict.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
673 Actors: a Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
382 Lambda calculi with types - Barendregt - 1992
369 A semantics of multiple inheritance - Cardelli - 1988
325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
271 The Oz programming model - Smolka - 1995
248 Expressing Mobility (context) - Sangiorgi - 1992
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1994
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
132 Interpr'etation fonctionelle et 'elimination des coupures de.. (context) - Girard - 1972
128 On understanding types (context) - Cardelli, Wegner - 1985
127 Information and Computation (context) - Walker, the - 1995
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
99 Typed concurrent objects - Vasconcelos - 1994
82 Typeful programming - Cardelli - 1989
76 DEC Systems Research Center (context) - Cardelli, of et al. - 1993
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1994
74 Safe Type Checking in a Statically Typed Object-Oriented Pro.. (context) - Bruce, object-oriented et al. - 1993
73 Concurrent objects in a process calculus - Pierce, Turner - 1995
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992
67 Composing processes - Honda - 1996
60 Decoding choice encodings - Nestmann, Pierce - 1996
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994
45 Asynchrony and the -calculus (context) - Boudol - 1992
41 Unpublished manuscript (context) - Cardelli - 1990
40 CML: A higher-order concurrent language (context) - Reppy - 1991
39 Texts and Monographs in Computer Science (context) - Francez - 1986
39 A pi-calculus semantics for an object-based design notation (context) - Jones - 1993
39 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
39 Notes on typed object-oriented programming - Fisher, Mitchell - 1994
37 Regular types for active objects - Nierstrasz - 1993
37 for object-oriented programming. Journal of Functional Progr.. - Pierce, Turner et al. - 1993
37 and Sigbjorn Finne (context) - Jones, Gordon - 1996
35 Combinatory representation of mobile processes - Honda, Yoshida - 1994
33 Type-theoretic foundations for concurrent object-oriented pr.. (context) - Kobayashi, Yonezawa - 1994
29 A Foundation for Concurrent Constraint Programming (context) - Smolka - 1994
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993
27 PFL: A functional language for parallel programming (context) - Holmstrom - 1983
27 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
18 A typed higher-order programming language based on the pi-ca.. - Pierce, R'emy et al. - 1993
15 A preliminary version appeared in TACS (context) - Cardelli, Martini et al. - 1994
14 An investigation into functions as processes - Sangiorgi - 1993
13 Formalizing composable software systems --- a research agend.. - Nierstrasz, Schneider et al. - 1996
9 Types for dydadic interaction (context) - Honda - 1993
9 On bisimulations for the asynchronous pi-calculus - Amadio, Castellani et al. - 1996
9 Concurrent Linear Logic Programming (context) - Kobayashi - 1996
7 The Polymorphic Pi-calulus: Theory and Implementation (context) - Turner - 1996
6 Facile: A Symmetric Integration of Concurrent and Functional.. (context) - Giacalone, Mishra et al. - 1989
6 Programming in the pi-calculus: An experiment in concurrent .. (context) - Pierce - 1996
6 Type inference with recursive types (context) - Cardone, Coppo - 1991
5 Decidability of higher-order subtyping with intersection typ.. - Compagnoni - 1995
3 A preliminary version appeared in POPL '91 (context) - Amadio, Cardelli et al. - 1990
3 Technical Report ECRC-M2-R (context) - Amadio, Prasad et al. - 1994
3 Also available as a technical report from CRIN (context) - Amadio, facile et al. - 1994
2 a nondeterministic programming language (context) - Sewell, Pict - 1996
2 To appear (context) - Pierce, Steffen et al. - 1994
2 Short version in Principles of Programming Languages (context) - Cardelli, with et al. - 1995
2 Final version in Journal of Mathematical Structures in Compu.. (context) - Milner, processes et al. - 1992
1 available electronically through httpwww (context) - Pierce, Pict et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.indiana.edu.html): More
Modeling Case-based Planning for Repairing Reasoning Failures - Fox, Leake (1995) (Correct)
Experience, Introspection, and Expertise: Learning to Refine the.. - Leake (Correct)
Transfer in a Connectionist Model of the Acquisition of Morphology - Gasser (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC