Jon G. Riecke, Ramesh Viswanathan  Home/Search
Context Related
| belllabs.com/dist...gsequential.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: ampl.com/who/riecke/bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is well known that adding side effects to functional languages changes the operational equivalences of the language. We develop a new language construct, encap, that forces imperative pieces of code to behave purely functionally, i.e., without any visible side effects. The coercion operator encap provides a means of extending the simple reasoning principles for equivalences of code in a functional language to a language with side effects. In earlier work [36], similar coercion operators... (Update)
Context of citations to this paper: More
.... locality of references, from operating system segmentation checks to mechanisms for encapsulating effects in functional languages [10, 21, 22] it is perhaps surprising to discover that the type system is quite strong enough to do it statically. Of course, the fact that type...
...structure of sequential computation. There are other ways to build fully abstract models for FPC. For instance, Riecke and Viswanathan [31, 32] give a dcpo based model for call by value FPC. The construction uses Milner s syntactic methods of [16] This construction sheds little...
Cited by: More
A Relational Account of Call-by-Value Sequentiality - Riecke, Sandholm (1997) (Correct)
A Generic Framework for Specialization (Abridged Version) - Thiemann (Correct)
Retraction Approach to CPS Transform - Kucan (Correct)
Similar documents (at the sentence level):
52.0%: Isolating Side Effects in Sequential Languages - Riecke, Viswanathan (1995) (Correct)
Active bibliography (related documents): More All
0.7: Encapsulated Effects - Kieburtz, Launchbury (1995) (Correct)
0.6: Kripke Logical Relations and PCF - O'Hearn, Riecke (1995) (Correct)
0.3: Region-Based Memory Management - Tofte, Talpin (1997) (Correct)
Similar documents based on text: More All
0.2: Coercion as a Metaphor for Computation - Jagannathan (Correct)
0.2: Incoercible Multiparty Computation (Extended Abstract) - Canetti, Gennaro (1996) (Correct)
0.2: Compositionality and Coercion in Categorial Grammar - Buitelaar, Mineur (Correct)
Related documents from co-citation: More All
5: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
4: Delimiting the scope of effects - Riecke - 1993
4: LCF considered as a programming language (context) - Plotkin - 1977
BibTeX entry: (Update)
John Riecke and Ramesh Viswanathan. Isolating side effects in sequential languages. In Conference Record of the Twenty Second Annual ACM Symposium on Principles of Programming Languages, pages 1--12, January 1995. http://citeseer.ist.psu.edu/article/riecke95isolating.html More
@inproceedings{ riecke95isolating,
author = "Jon G. Riecke and Ramesh Viswanathan",
title = "Isolating Side Effects in Sequential Languages",
booktitle = "Conference Record of {POPL} '95: 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "San Francisco, California",
pages = "1--12",
year = "1995",
url = "citeseer.ist.psu.edu/article/riecke95isolating.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
306 LCF considered as a programming language (context) - Plotkin - 1977
293 The essence of functional programming - Wadler - 1992
254 The revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
244 Imperative functional programming - Jones, Wadler - 1993
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
179 The lazy lambda calculus - Abramsky - 1990
150 Report on the functional programming language Haskell (context) - Hudak, Jones et al. - 1992
132 Syntactic control of interference (context) - Reynolds - 1989
132 Syntactic control of interference (context) - Reynolds - 1978
131 The essence of Algol (context) - Reynolds - 1981
101 Lazy functional state threads - Launchbury, Jones - 1994
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988
81 The theory and practice of first-class prompts (context) - Felleisen - 1988
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
46 Assignments for applicative languages (context) - Swarup, Reddy et al. - 1991
46 Relational parametricity and local variables (context) - O'Hearn, Tennent - 1993
42 The Lazy Lambda Calculus: An Investigation into the Foundati.. (context) - Ong - 1988
38 and the lambda calculus (context) - Odersky, Rabin et al. - 1993
38 Full abstraction for sequential languages: the state of the .. (context) - Berry, Curien et al. - 1985
36 Reasoning with continuations II: Full abstraction for models.. - Sitaram, Felleisen - 1990
28 region and effect inference (context) - Talpin, Jouvelot - 1992
18 Fully abstract models of the typed lambda calculus (context) - Milner - 1977
18 Observable sequentiality and full abstraction - Cartwright, Felleisen - 1992
16 Information and Computation (context) - O'Hearn, Riecke et al. - 1995
16 Reasoning about continuations with control effects - Jouvelot, Gifford - 1989
13 Delimiting the scope of effects - Riecke - 1993
12 Information and Control (context) - Moggi, computation - 1991
11 CS: An extended -calculus for Scheme (context) - Felleisen - 1988
10 The Logic and Expressibility of SimplyTyped Call-by-Value an.. - Riecke - 1991
6 Observable sequential algorithms on concrete data structures (context) - Curien - 1992
6 Generalizing first-class stores (context) - Morrisett - 1993
5 Continuation-based mutable abstract datatypes (context) - Hudak - 1992
5 Full abstraction for call-by-value sequential languages (context) - Riecke, Viswanathan - 1993
4 Dialogue games and innocent strategies: An approach to inten.. - Hyland, Ong - 1993
4 Theoretical Computer Sci (context) - Plotkin, call-by-value et al. - 1975
4 A type system for exceptions (context) - Guzm'an, Su'arez - 1994
3 Theoretical and Practical Aspects of Type and Effect Inferen.. (context) - Talpin - 1993
3 Games and full abstraction for PCF: preliminary announcement - Abramsky, Jagadeesan et al. - 1993
2 Available as Computer Sciences Department Technical Report N.. (context) - Huelsbergen, Parallelization et al. - 1993
1 Available as technical report MIT/LCS/TR (context) - Lucassen, Languages et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ampl.com/who/riecke/bib.html): More
The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998) (Correct)
Semantic Orthogonality of Type Disciplines - Riecke, Subrahmanyam (1997) (Correct)
Conditions for the Completeness of Functional and.. - Riecke, Subrahmanyam (1997) (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