Polymorphic subtyping for effect analysis: The dynamic semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1192 LNCS, Issue , 1997, Pages 172-206

  Amtoft, Torben ^a   Nielson, Flemming ^a   Nielson, Hanne Riis ^a   Ammann, Jürgen ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC SEMANTIC; EFFECT ANALYSIS; GENERALISATION; OPERATIONAL SEMANTICS; SUBTYPINGS; TYPE AND EFFECT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 84878651893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62503-8_9     Document Type: Conference Paper

References (11)

1. M. Debbabi and D. Bolignano: A semantic theory for ML higher-order concurrency primitives. In ML with Concurrency: Design, Analysis, Implementation and Application (editor: Flemming Nielson), Springer-Verlag, 1996.
2. M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the A-calculus. Formal Descriptions of Programming Concepts HI, North-Holland, 1986.
3. X. Leroy and P. Weis: Polymorphic type inference and assignment. In Proc. POPL '91, pages 291-302. ACM Press, 1991.
4. R. Milner: A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
5. H.R. Nielson and F. Nielson: Higher-order concurrent programs with finite communication topology. In Proc. POPL'94, pages 84-97. ACM Press, 1994.
6. H.R. Nielson, F. Nielson, T. Amtoft: Polymorphic subtypes for effect analysis: the static semantics. This volume of SLNCS, 1997.
7. G.D. Plotkin: A structural approach to operational semantics. Report DAIMI FN-19, Aarhus University, Denmark, 1981.
8. J. H. Reppy: Concurrent ML: Design, application and semantics. In Proc. Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165-198. SLNCS 693, 1993.
9. J. P. Talpin and P. Jouvelot: The type and effect discipline. Information and Computation, 111, 1994.
10. M. Tofte: Type inference for polymorphic references. Information and Computation, 89:1-34, 1990.
11. A.K. Wright and M. Felleisen: A syntactic approach to type soundness. Information and Computation, 115, pages 38-94, 1994.