Erik Crank, Matthias Felleisen  Home/Search
Context Related
| rice.edu/CS/PLT/Publi...popl91cf.ps.gz neu.edu/scheme/pubs/....popl91cf.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: rice.edu/CS/PLT/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The choice of a parameter-passing technique is an important decision in the design of a high-level programming language. To clarify some of the semantic aspects of the decision, we develop, analyze, and compare modifications of the -calculus for the most common parameter-passing techniques, i.e., call-by-value and call-by-name combined with pass-by-worth and passby -reference, respectively. More specifically, for each parameter-passing technique we provide 1. a program rewriting semantics for a ... (Update)
Context of citations to this paper: More
.... when the operands are evaluated to arguments, especially whether they are evaluated eagerly (call by value) or lazily (call by name) [CrFe91] but the eager lazy distinction is orthogonal to most of our discussion here, which concerns only whether the operands are evaluated...
...for our calculus extends that of Reference ML [WF94] Reduction rules are given in Fig.9. 2, where R are reduction contexts [CF91, FH92, MT89]. Expression Gen is defined below. Relation is the reflexive, transitive, contextual closure of , with respect to contexts C,...
Cited by: More
A Core Calculus of Higher-Order Mixins and Classes - Bettini, Bono, Likavec (Correct)
A Core Calculus of Mixin-Based Incomplete Objects.. - Bettini, Bono, Likavec (Correct)
Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
Active bibliography (related documents): More All
0.4: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.3: Metatheory of Verification Calculi in LEGO - To What Extent Does .. - Kleymann (1998) (Correct)
0.3: An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
Similar documents based on text: More All
0.3: The sigma-Semantics: A Comprehensive Semantics for Functional.. - Chitil (1996) (Correct)
0.2: Parameter Passing: The Rules the Students Construct - Fleury (1991) (Correct)
0.2: Teaching Parameter Passing by Example Using Thunks in C and C++ - Bergin, Greenfield (1993) (Correct)
Related documents from co-citation: More All
27: The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
15: The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
12: Assignments for applicative languages (context) - Swarup, Reddy et al. - 1991
BibTeX entry: (Update)
Crank, E., and Felleisen, M. Parameter-passing and the lambda calculus. Proceedings of the 18th Annual Symposium on Principles of Programming Languages (January 1991), 233--244. http://citeseer.ist.psu.edu/85570.html More
@inproceedings{ crank91parameterpassing,
author = "Erik Crank and Matthias Felleisen",
title = "Parameter-Passing and the Lambda Calculus",
booktitle = "Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "Orlando, Florida",
pages = "233--244",
year = "1991",
url = "citeseer.ist.psu.edu/85570.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
650 An axiomatic basis for computer programming (context) - Hoare - 1969
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
197 The revised 3 report on the algorithmic language Scheme - Rees, Clinger - 1986
185 The Calculi of Lambda-Conversion (context) - Church - 1941
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1989
84 The next 700 programming languages (context) - Landin - 1966
84 The Denotational Description of Programming Languages (context) - Gordon - 1979
80 The Scheme Programming Language (context) - Dybvig - 1987
69 Revised report on the algorithmic language ALGOL (context) - Naur - 1963
51 the expressive power of programming languages - Felleisen - 1990
36 Parameter-passing and the lambdacalculus - Crank - 1990
24 Procedures and parameters: An axiomatic approach (context) - Hoare - 1971
22 Assignment and Procedure Call Proof Rules (context) - Gries, Levin - 1980
18 call-by-value (context) - Plotkin - 1975
11 Making variables abstract: an equational theory for Russell (context) - Demers, Donahue - 1983
8 A contribution to the development of ALGOL (context) - Wirth, Hoare - 1966
8 A sound and complete axiomatization of operational equivalen.. - Mason, Talcott - 1989
6 The Programming Language Ada---Reference Manual (context) - of - 1981
5 Complementary Definitions of Programming Language Semantics (context) - Donahue - 1980
3 Sound and complete Hoare-like calculi based on copy rules (context) - Olderog - 1981
1 The operational semantics and equational logic of eval and f.. (context) - Muller - 1990
1 The logic of aliasing (context) - Cartwright, Oppen - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/CS/PLT/Publications/): More
Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Reasoning about Explicit and Implicit Representations of State - Sabry, Field (1993) (Correct)
A Practical Soft Type System for Scheme - Wright, Cartwright (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