Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics

  • Authors:

  • Torben Amtoft;Flemming Nielson;Hanne Riis Nielson;Jürgen Ammann

  • Affiliations:

  • -;-;-;-

  • Venue:
  • Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
  • Year:
  • 1996

  • Type and Effect Systems

    Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Quantified Score

Hi-index 0.00

Visualization

Abstract