Matthias Felleisen, Robert Hieb  Home/Search
Context Related
Links: ACM DBLP | indiana.edu/indra/sch...ricetr100.ps.gz rice.edu/CS/PLT/Public...tr89100.ps.gz indiana.edu/pub/schem...ricetr100.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) From: rice.edu/CS/PLT/Publications/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The syntactic theories of control and state are conservative extensions of the v -calculus for equational reasoning about imperative programming facilities in higher-order languages. Unlike the simple v -calculus, the extended theories are mixtures of equivalence relations and compatible congruence relations on the term language, which significantly complicates the reasoning process. In this paper we develop fully compatible equational theories of the same imperative higher-order programming ... (Update)
Cited by: More
Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (Correct)
A Core Calculus of Higher-Order Mixins and Classes - Bettini, Bono, Likavec (Correct)
Active bibliography (related documents): More All
0.3: Axiomatizing Operational Equivalence in the presence of Side.. - Mason, Talcott (1989) (Correct)
0.3: Equivalence in Functional Languages with Effects - Mason, Talcott (1991) (Correct)
0.2: Parameter-Passing and the Lambda Calculus - Crank, Felleisen (1991) (Correct)
Similar documents based on text: More All
0.2: Syntactic Abstraction in Scheme - Dybvig, Hieb, Bruggeman (1993) (Correct)
0.1: A Type-theoretic Study on Partial Continuations - Kameyama (2000) (Correct)
0.1: Threads Yield Continuations - Kumar, Bruggeman, Dybvig (1997) (Correct)
Related documents from co-citation: More All
29: The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
25: A syntactic approach to type soundness - Wright, Felleisen - 1991
23: Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
BibTeX entry: (Update)
Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 103(2):235--271, September 1992. http://citeseer.ist.psu.edu/felleisen92revised.html More
@article{ felleisen92revised,
author = "Matthias Felleisen and Robert Hieb",
title = "A Revised Report on the Syntactic Theories of Sequential Control and State",
journal = "Theoretical Computer Science",
volume = "103",
number = "2",
pages = "235--271",
year = "1992",
url = "citeseer.ist.psu.edu/felleisen92revised.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
484 Common Lisp---The Language (context) - Steele - 1984
291 Computational lambda-calculus and monads - Moggi - 1989
218 The mechanical evaluation of expressions (context) - Landin - 1964
197 The revised 3 report on the algorithmic language Scheme - Rees, Clinger - 1986
110 A formulae-as-types notion of control - Griffin - 1990 DBLP
92 Explicit substitution - Abadi, Cardelli et al. - 1990
84 The next 700 programming languages (context) - Landin - 1966 ACM DBLP
81 The theory and practice of first-class prompts (context) - Felleisen - 1988 ACM DBLP
76 Control operators (context) - Felleisen, Friedman - 1986
50 Introduction to Mathematical Logic (context) - Church - 1956
46 CS-Conversion: A Syntactic Theory of Control and State in Im.. (context) - Felleisen - 1987
27 Scheme: An interpreter for extended lambda calculus (context) - Sussman, Jr - 1975
18 call-by-value (context) - Plotkin - 1975
17 The Essence of Rum---A Theory of the Intensional and Extensi.. (context) - Talcott - 1985
11 Making variables abstract: an equational theory for Russell (context) - Demers, Donahue - 1983 DBLP
8 A sound and complete axiomatization of operational equivalen.. - Mason, Talcott - 1989 ACM
6 and proving with function abstractions and memories (context) - Mason, Talcott - 1989
1 Equivalences of first-order Lisp programs (context) - Mason - 1986
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