MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Type and Effect Systems." – sorted by Relevance.

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

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

127 documents found, showing 1 through 10. Next 10 →

ATOM

Type and effect systems
by Flemming Nielson, Hanne Riis Nielson — 1999 — ACM Computing Surveys
…Type and Effect Systems Flemming Nielson & Hanne Riis Nielson Department of Computer Science…
Cited by 26 (0 self) – Add To MetaCart

A type and effect system for atomicity
by Cormac Flanagan, Shaz Qadeer — 2003 — In PLDI 03: Programming Language Design and Implementation
…A Type and Effect System for Atomicity Cormac Flanagan Shaz Qadeer HP Systems Research Center…
Cited by 129 (18 self) – Add To MetaCart

Type and Effect Systems via Abstract Interpretation
by Jerome Vouillon, Pierre Jouvelot — 1995
…Type and E ect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des…
Add To MetaCart

A Polymorphic Type and Effect System for Detecting Mobile Functions
by Z. Dilsun Kirli — 1999
…A Polymorphic Type and Effect System for Detecting Mobile Functions Z. Dilsun Kirli Abstract We…
Cited by 1 (0 self) – Add To MetaCart

A type and effect system for flexible abstract interpretation of Java
by Christian Skalka, Scott Smith, David Van Horn — 2005 — Proceedings of the ACM workshop on Abstract interpretation of object oriented languages. Electronic Notes in Theoretical Computer Science
….elsevier.com/locate/entcs A Type and Effect System for Flexible Abstract Interpretation of Java (Extended Abstract) Christian…
Cited by 2 (1 self) – Add To MetaCart

Polymorphic Subtyping for Effect Analysis: the Algorithm
by H.R. Nielson, T. Amtoft — 1996
…,hrnielson,tamtoft@(email omitted); April 19, 1996 Abstract We study an annotated type and eoeect system that integrates let…
Cited by 1 (0 self) – Add To MetaCart

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
…-mail:{tamtoft,fnielson,hrnielson}@(email omitted); Abstract. We study an annotated type and e#ect system that integrates let-polymorphism, e…
Cited by 1 (1 self) – Add To MetaCart

Polymorphic Subtyping for Effect Analysis: the Semantics
by T. Amtoft, H.R. Nielson, J. Ammann — 1996
…,fnielson,hrnielson,jammann@(email omitted); April 17, 1996 Abstract We study an annotated type and eoeect system that integrates let…
Add To MetaCart

History effects and verification
by Christian Skalka, Scott Smith — 2004 — In APLAS’04: The Second ASIAN Symposium on Programming Languages and Systems
…@(email omitted); The Johns Hopkins University,scott@(email omitted); Abstract. This paper shows how type effect systems can…
Cited by 24 (5 self) – Add To MetaCart

Types and trace effects of higher order programs
by Christian Skalka, Scott Smith, David Van Horn — 2007 — Journal of Functional Programming
…,scott@(email omitted); 3 Brandeis University,dvanhorn@(email omitted); Abstract. This paper shows how type effect systems…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB