Vasco Thudichum Vasconcelos  Home/Search
Context
Related
| di.fc.ul.pt/~vv/papers/machines.pdf 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: di.fc.ul.pt/~vv/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We analyse machines that implement the call-by-value reduction strategy of the lambda-calculus: two environment machines---CAM and SECD---and two encodings into the pi-calculus---due to Milner and Vasconcelos. To establish the relation between the various machines, we setup a notion of reduction machine and two notions of correspondences: operational---in which a reduction step in the source machine is mimicked by a sequence of steps in the target machine--- and convergent---where only... (Update)
Active bibliography (related documents): More All
0.5: Processes, Functions, and Datatypes - Vasconcelos (1998) (Correct)
0.4: The Impact of Linearity Information on the Performance of.. - Martins, Lopes, Vasconcelos (Correct)
0.3: The call-by-value lambda-calculus, the SECD machine, and the.. - Vasconcelos (2000) (Correct)
Similar documents based on text: More All
0.5: A Logically Reversible Evaluator for the Call-by-Name Lambda.. - Huelsbergen (1996) (Correct)
0.4: The Tail-Recursive SECD Machine - Ramsdell (1999) (Correct)
0.2: An SPMD environment machine for functional BSP programs - Merlin, Hains (2001) (Correct)
BibTeX entry: (Update)
@misc{ vasconcelos-lambda,
author = "Vasco Thudichum Vasconcelos",
title = "Lambda and pi calculi, CAM and SECD machines",
url = "citeseer.ist.psu.edu/vasconcelos01lambda.html" }
Citations (may not include all citations):294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
218 The mechanical evaluation of expressions (context) - Landin - 1964
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
194 Functions as processes (context) - Milner - 1992
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
99 Typed concurrent objects - Vasconcelos - 1994
65 volume 103 of Studies in Logic and the Foundations of Mathem.. (context) - Barendregt, its et al. - 1974
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
23 An abstract framework for environment machines (context) - Curien - 1991
14 Theory and Practice of Object Systems (context) - Vasconcelos, functions - 1999
9 A Theory of Mobile Processes (context) - Sangiorgi, Walker et al. - 2001
4 INRIA Sophia-Antipolis (context) - Milner, processes et al. - 1990
3 The TyCO programming language---compiler and virtual machine (context) - Vasconcelos, Lopes - 1988
3 Number 46 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Amadio, Curien et al. - 1998
2 Call-by-name and call-by-value and the #-calculus (context) - Plotkin - 1975
Documents on the same site (http://www.di.fc.ul.pt/~vv/publications.html): More
A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
Typed Concurrent Objects - Vasconcelos (1994) (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