Amr Sabry, John Field  Home/Search
Context Related
| rice.edu/CS/PLT/Publi...sipl94sf.ps.gz indiana.edu/hyplan/sabr...storesipl.ps 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 semantics of imperative languages are often expressed in terms of a store-passing translation and an algebra for reasoning about stores. We axiomatize the semantics of several typical imperative languages via equational axioms by "inverting" the storepassing translation as well as the algebraic axioms for reasoning about the store. The inversion process is simple and systematic and results in theories that are similar to equational theories for imperative languages that have been derived in ... (Update)
Context of citations to this paper: More
...aims to emulate the FP approach in a more general setting. One strand of work has devised extensions of lambda calculus with state [13, 34, 36, 28, 3] or nondeterminism and concurrency [7, 12, 9] Another strand of work has been designed concurrent functional languages [19, 33,...
...to reference cells and the store. The axiomatization of references and stores is generally well understood for many languages [1, 5, 3, 2, 4, 7, 9, 8], but is fairly subtle for our language below (modelled on Haskell) The major difference between our formulation of state and...
Cited by: More
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
A Formal Description Of Behavioral Verilog Based On Axiomatic .. - Fiskio-Lasseter (1998) (Correct)
An Overview of Functional Nets - Odersky (2000) (Correct)
Similar documents (at the sentence level):
12.5%: The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Active bibliography (related documents): More All
0.2: Names and Higher-Order Functions - Stark (1995) (Correct)
0.1: Monadic State: Axiomatization and Type Safety - John Launchbury (1997) (Correct)
0.1: Call byName, Assignment and the Lambda Calculus - Odersky, Rabin, Hudak (1992) (Correct)
Similar documents based on text: More All
0.1: Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (2000) (Correct)
0.1: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
0.1: A Type-And-Effect System For Encapsulating Memory In Java - Yates (1999) (Correct)
Related documents from co-citation: More All
10: The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
9: Parameter-passing and the lambda calculus - Crank, Felleisen - 1991
9: Reasoning about programs in continuation-passing style - Sabry, Felleisen
BibTeX entry: (Update)
Amr Sabry and John Field. Reasoning about Explicit and Implicit Representations of State. Technical Report YALEU/DCS/RR-968, Yale University, June 1993. ACM Sigplan Workshop on State in Progrramming Languages. http://citeseer.ist.psu.edu/article/sabry93reasoning.html More
@inproceedings{ sabry93reasoning,
author = "A. Sabry and J. Field",
title = "Reasoning about Explicit and Implicit Representations of State",
booktitle = "Proceedings of the {ACM} {SIGPLAN} Workshop on State in Programming Languages, Copenhagen, {DK}, {SIPL} '93",
pages = "17--30",
year = "1993",
url = "citeseer.ist.psu.edu/article/sabry93reasoning.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
259 Combinatory Logic (context) - Curry, Feys - 1958
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
108 Communications of the ACM (context) - Hoare, Hayes et al. - 1987
65 Equivalence in functional languages with effects - Mason, Talcott - 1991
46 Assignments for applicative languages (context) - Swarup, Reddy et al. - 1991
41 The semantics of program dependence - Cartwright, Felleisen - 1989
38 and the lambda calculus (context) - Odersky, Rabin et al. - 1993
27 A simple rewriting semantics for realistic imperative progra.. (context) - Field - 1992
19 Side effects and aliasing can have simple axiomatic descript.. (context) - Boehm - 1985
16 A calculus for assignments in higher-order languages (context) - Felleisen, Friedman - 1987
11 Making variables abstract: An equational theory for Russell (context) - Demers, Donahue - 1983
9 Towards a formal semantics (context) - Strachey - 1966
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)
A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (Correct)
Program Verification through Soft Typing - Cartwright, Felleisen (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