Searching for "Polymorphic Subtyping for Effect Analysis The Dynamic Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Polymorphic subtyping for effect analysis: The dynamic semantics
by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann — 1997 — In Analysis and Verification of MultipleAgent Languages
…Polymorphic Subtyping for E#ect Analysis: the Dynamic Semantics Torben Amtoft & Flemming Nielson…
Cited by 1 (1 self) – Add To MetaCart

project on “Secure and Safe Systems based on Static Analysis ” with partners from England and France
by Partners From Scotl — 1984
…. [3] T. Amtoft, F. Nielson, H. Riis Nielson, and J. Ammann. Polymorphic subtyping for effect analysis…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB