Using Effect Systems for Automating Model Extraction

Cached

Download Links

by R. L. Crole , A. Furniss

Active Bibliography

A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
iv TABLE OF CONTENTS – Ross Tate, Bobby Mcferrin - 2012
29 Type-Based Analysis and Applications – Jens Palsberg - 2001
Effectful progamming Type inference for effects with natural subtyping (Draft, submitted to APLAS’10) – Ross Tate, Daan Leijen
JavaUI: Effects for Controlling UI Object Access – Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
7 A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis – Judith A. Stafford - 2000
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
37 Parameterised notions of computation – Robert Atkey - 2006
ABSTRACT-DATA-TYPE REFINEMENT TOOL FOR POINTER-INTENSIVE APPLICATIONS – Prof Dr, F. Catthoor, Prof Dr, B. Demoen, Karel Van Oudheusden, Alias Edgar Graham, Prof Dr, B. Demoen, Karel Van Oudheusden
29 A new foundation for control-dependence and slicing for modern program structures – Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff - 2005
1 D.: Convenient explicit effects using type inference with subeffects – Ross Tate, Daan Leijen - 2010
3 Information-flow control for programming on encrypted data ∗ – J. C. Mitchell, R. Sharma, D. Stefan, J. Zimmerman - 2012
7 Effects for cooperable and serializable threads – Jaeheon Yi, Cormac Flanagan - 2010
8 Slicing Concurrent Java Programs – Zhenqiang Chen, Zhenqiang Chen, Baowen Xu, Baowen Xu - 2001
6 The Java System Dependence Graph – Neil Walkinshaw, Marc Roper, Murray Wood, Neil Walkinshaw Marc Roper - 2003
19 Context-Sensitive Slicing of Concurrent Programs – Jens Krinke - 2003
December, 2012A UNIFYING APPROACH TO BEHAVIORAL COVERAGE – Elena Sherman, Elena Sherman, Ph. D, Adviser Matthew, B. Dwyer