Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann  Home/Search
Context
Related
| ksu.edu/~tamtoft/Papers/Amt+...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: We study an annotated type and effect system that integrates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First a small-step operational semantics is defined and next the annotated type and effect system is proved semantically sound. This provides insights into the rule for generalisation in the annotated type and effect system. (Update)
Similar documents (at the sentence level):
68.7%: Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (Correct)
15.4%: Polymorphic Subtyping for Effect Analysis: the Semantics - Amtoft, Nielson, Nielson.. (1996) (Correct)
5.7%: Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (Correct)
Active bibliography (related documents): More All
0.3: Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (Correct)
0.2: Synchronising with First-Class Conditions - Afshartous (Correct)
0.2: On the semantic foundations of Probabilistic VERUS - Baier, Clarke.. (1998) (Correct)
Similar documents based on text: More All
0.8: Behaviour Analysis and Safety Conditions: a Case Study in CML - Nielson, Amtoft, Nielson (Correct)
0.7: Analysis and Verification of Multiple-Agent Languages - Fifth.. - Dam, (eds.) (1996) (Correct)
0.7: Type and Behaviour Reconstruction for Higher-Order.. - Amtoft, Nielson, Nielson (1995) (Correct)
BibTeX entry: (Update)
@inproceedings{ amtoft96polymorphic,
author = "Torben Amtoft and Flemming Nielson and Hanne Riis Nielson and J{\"u}rgen Ammann",
title = "Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics",
booktitle = "Logical and Operational Methods in the Analysis of Programs and Systems",
pages = "172--206",
year = "1996",
url = "citeseer.ist.psu.edu/amtoft97polymorphic.html" }
Citations (may not include all citations):47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
14 Journal of Computer and System Sciences (context) - Milner, of et al. - 1978
10 Nielson: Higher-order concurrent programs with finite commun.. (context) - Nielson - 1994
6 Information and Computation (context) - Tofte, for et al. - 1990
5 Report DAIMI FN (context) - Plotkin, approach et al. - 1981
4 Formal Descriptions of Programming Concepts III (context) - Felleisen, Friedman et al. - 1986
4 Weis: Polymorphic type inference and assignment (context) - Leroy - 1991
2 Amtoft: Polymorphic subtypes for e#ect analysis: the static .. (context) - Nielson, Nielson - 1997
2 Bolignano: A semantic theory for ML higher-order concurrency.. (context) - Debbabi - 1996
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)
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (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