Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott  Home/Search
Context Related
| une.edu.au/~iam/Data/Papers/92csl.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: une.edu.au/~iam...ublicationlist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we introduce a variable typed logic of effects (i.e. a logic of effects where classes can be defined and quantified over) inspired by the variable type systems of Feferman [3, 4] for purely functional languages. A similar extension incorporating non-local control operations was introduced in [27]. The logic we present provides an expressive language for defining specifications and constraints and for studying properties and program equivalences, in a uniform framework. Thus it has an ... (Update)
Context of citations to this paper: More
...we presented the first order part of VTLoE, and showed how the Meyer Sieber examples can be treated in this logic. The full system [10,11] extends the first order theory by incorporating a theory of classes. This extension provides a more expressive formalism including the...
.... versions of part II of this paper appeared as (Mason and Talcott, 1992b) Earlier versions of part III of this paper appeared as (Honsell et al. 1993). 1.1.1. Part I In our language atoms, references and lambda abstractions are all first class values and as such are storable....
Cited by: More
A Reflective Framework for Formal Interoperability - Sri (1998) (Correct)
A First Order Logic of Effects - Mason (1996) (Correct)
An Operational Logic of Effects - Frost, Mason (1996) (Correct)
Similar documents (at the sentence level): More
49.3%: A Variable Typed Logic of Effects - Honsell (1993) (Correct)
18.7%: References, Local Variables and Operational Reasoning - Mason, Talcott (Correct)
11.1%: Reasoning about Object Systems in VTLoE - Mason, Talcott (1994) (Correct)
Active bibliography (related documents): More All
0.5: Equivalence in Functional Languages with Effects - Mason, Talcott (1991) (Correct)
0.4: Domain Theoretic Techniques in an Operational Setting - Mason, Smith, Talcott (Correct)
0.3: Proof Theoretic Approach To Specification Languages - Chirimar (1995) (Correct)
Similar documents based on text: More All
0.1: Structured Operational Semantics of a fragment of the.. - Honsell, Pravato, Rocca (1993) (Correct)
0.1: Cv - Liquori (Correct)
0.1: Reasoning about Functions with Effects - Carolyn Talcott (1997) (Correct)
Related documents from co-citation: More All
6: Equivalence in functional languages with effects - Mason, Talcott - 1991
5: Idealized Algol and its specification logic (context) - Reynolds - 1982
5: Constructive Theories of Functions and Classes (context) - Feferman - 1979
BibTeX entry: (Update)
F. Honsell, I. A. Mason, S. F. Smith, and C. L. Talcott. A theory of classes for a functional language with effects. In Proceedings of CSL92, volume ??? of Lecture Notes in Computer Science, pages ???--??? Springer, Berlin, 1993. http://citeseer.ist.psu.edu/honsell93theory.html More
@inproceedings{ honsell93theory,
author = "F. Honsell and I. A. Mason and S. Smith and C. Talcott",
title = "A Theory of Classes for a Functional Language with Effects",
booktitle = "Computer Science Logic; 6th Workshop, {CSL} '92",
publisher = "Springer-Verlag",
address = "Berlin, Germany",
editor = "E. Borger and G. Jager and H. Kleine Buning and S. Martini and M. M. Ritchter",
isbn = "3-540-56992-8",
pages = "309--26",
year = "1993",
url = "citeseer.ist.psu.edu/honsell93theory.html" }
Citations (may not include all citations):306 A syntactic approach to type soundness - Felleisen, Wright - 1991
291 Computational lambda-calculus and monads - Moggi - 1989
138 Type inference for polymorphic references (context) - Tofte - 1990
132 Syntactic control of interference (context) - Reynolds - 1978
118 Lambda calculus models of programming languages (context) - Morris - 1968
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
69 A language and axioms for explicit mathematics (context) - Feferman - 1975
65 Equivalence in functional languages with effects - Mason, Talcott - 1991
60 Towards fully abstract semantics for local variables: Prelim.. (context) - Meyer, Sieber - 1988
46 cs Conversion: A Syntactic Theory of Control and State in Im.. (context) - Felleisen, of - 1987
41 Polymorphic type inference and assignment - Leroy, Wies - 1990
35 towards the integration of functional and imperative program.. (context) - Lucassen, Effects - 1987
29 Inferring the equivalence of functional programs that mutate.. - Mason, Talcott - 1992
27 Polymorphic typed lambda-calculi in a type-free axiomatic fr.. (context) - Feferman - 1990
27 local variables and operational reasoning (context) - Mason, Talcott - 1992
17 Axiomatizing operational equivalence in the presence of side.. - Mason, Talcott - 1989
13 or what makes the free-list free (context) - Halpern, Meyer et al. - 1983
12 Faithful ideal models for recursive polymorphic types - Abadi, Pierce et al. - 1991
11 Revista Colombiana de Mat'ematicas (context) - Feferman, of et al. - 1985
11 call-by-value and the lambda-v-calculus (context) - Plotkin - 1975
9 Department of Computer Science (context) - Smith, in et al. - 1988
7 A theory for program and data specification (context) - Talcott - 1990
6 Semantic Analysis of Specification Logic (context) - O'Hearn, Tennent
4 Laboratory for foundations of computer science (context) - O'Hearn, Tennent et al. - 1992
3 Problematic features of programming languages (context) - Manna, Waldinger - 1981
2 A partial correctness logic for programs (context) - Sieber - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://turing.une.edu.au/~iam/Data/hand-made-publication-list.html): More
Metamathematics Of Contexts - Buvac, Buvac, Mason (Correct)
A Sound and Complete Axiomatization of Operational.. - Mason, Talcott (1989) (Correct)
Program Transformation via Contextual Assertions - Mason, Talcott (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