| Alternate document: Details Polymorphic Subtyping for Effect Analysis: the Algorithm (97) Flemming Nielson, Hanne Riis Nielson, Torben Amtoft |
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft  Home/Search
Context Related
| ksu.edu/~tamtoft/Papers/Nie+...short.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: ksu.edu/~tamtoft/Papers/papers (more) Homepages: T.Amtoft |
Rate this article:      (best)Comment on this article |
Abstract: The integration of polymorphism (in the style of the ML let-construct), subtyping, and effects (modelling assignment or communication) into one common type system has proved remarkably difficult. One line of research has succeeded in integrating... (Update)
Context of citations to this paper: More
.... pennies m2.pennies) ensures result = null result.pennies = this.pennies m2.pennies; example this.pennies = 300 m2.pennies = 400 result.pennies = 700; public Money minus(Money m2) behavior requires m2 = null inRange(...
.... We are excluding the possibility of side effects by limiting the syntax of predicates, and by using type checking [GL86, Luc87, LG88, NNA97, TJ94, Wri92] to make sure that only pure methods may be called in predicates. Exceptions in expressions are particularly important, since...
Cited by: More
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (Correct)
The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
Similar documents (at the sentence level):
42.9%: Polymorphic Subtyping for Effect Analysis: the Integration - Nielson, Nielson, Amtoft (1996) (Correct)
8.2%: Analysis and Verification of Multiple-Agent Languages - Fifth.. - Dam, (eds.) (1996) (Correct)
Active bibliography (related documents): More All
2.5: Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (Correct)
2.3: Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (Correct)
0.5: Static and Dynamic Processor Allocation for Higher-Order.. - Nielson, Nielson (1995) (Correct)
Similar documents based on text: More All
0.9: Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (Correct)
0.8: Annotated Type Systems for Program Analysis - Solberg (1995) (Correct)
0.7: Behaviour Analysis and Safety Conditions: a Case Study in CML - Nielson, Amtoft, Nielson (Correct)
Related documents from co-citation: More All
4: Object-Oriented Specification Case Studies (context) - Lano, Haughton - 1994
4: Interface language for supporting programming styles (context) - Tan - 1994
4: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
BibTeX entry: (Update)
H. R. Nielson, F. Nielson, and T. Amtoft. Polymorphic subtyping for effect analysis: The static semantics. In M. Dam, editor, Proceedings of the Fifth LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science. Springer-Verlag, 1997. http://citeseer.ist.psu.edu/nielson97polymorphic.html More
@inproceedings{ nielson96polymorphic,
author = "Hanne Riis Nielson and Flemming Nielson and Torben Amtoft",
title = "Polymorphic Subtyping for Effect Analysis: The Static Semantics",
booktitle = "Logical and Operational Methods in the Analysis of Programs and Systems",
pages = "141--171",
year = "1996",
url = "citeseer.ist.psu.edu/nielson97polymorphic.html" }
Citations (may not include all citations):138 Type inference for polymorphic references (context) - Tofte - 1990
47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
22 ACM Transactions on Programming Languages and Systems (context) - Henglein, with et al. - 1993
21 application and semantics (context) - Reppy, ML - 1993
13 Milner: Principal type-schemes for functional programs (context) - Damas - 1982
10 Nielson: Higher-order concurrent programs with finite commun.. (context) - Nielson - 1994
7 Nielson: Constraints for polymorphic behaviours for Concurre.. (context) - Nielson - 1994
7 Mossin: Polymorphic binding-time analysis (context) - Henglein - 1994
6 Journal of Computer Systems (context) - Milner, of et al. - 1978
4 Mishra: Type inference with subtypes (context) - Fuh - 1990
4 Mishra: Polymorphic subtype inference: closing the theorypra.. (context) - Fuh - 1989
4 Birkedal: Region-annotated types and type schemes (context) - Tofte - 1996
4 Journal of Functional Programming (context) - Mitchell, with et al. - 1991
4 Weis: Polymorphic type inference and assignment (context) - Leroy - 1991
4 Reppy: The essence of Concurrent ML (context) - Panangaden - 1996
3 Nielson: Type and behaviour reconstruction for higher-order .. (context) - Amtoft, Nielson - 1997
2 Ammann: Polymorphic subtypes for e#ect analysis: the dynamic.. (context) - Amtoft, Nielson et al. - 1997
1 Amtoft: Polymorphic subtypes for e#ect analysis: the algorit.. (context) - Nielson, Nielson - 1997
1 Nielson: Automatic binding analysis for a typed #-calculus (context) - Nielson - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.ksu.edu/~tamtoft/Papers/papers.html): More
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
Local Type Reconstruction by Means of Symbolic Fixed Point.. - Amtoft (1994) (Correct)
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (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