×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [java type system]
Types for Atomicity Authors: Cormac Flanagan, UC Santa Cruz Stephen Freund, Marina Lifshin, Williams College Shaz Qadeer, Microsoft Research Presentation
216 views
Development of Java tools using SWT and WALA af Hans Søndergaard, ViaUC
384 views
Lightweight Abstraction for Mathematical Computation in Java 1 Pavel Bourdykine and Stephen M. Watt Department of Computer Science Western University London
217 views
Non-Control-Data Attacks and Securing software by enforcing data- flow integrity Zhiqiang Lin Mar 28, 2007 CS590 paper presentation
216 views
1 Subverting the Type System and Reflections on Trusting Trust Ras Bodik, Thibaud Hottelier, James Ide UC Berkeley CS164: Introduction to Programming Languages
221 views
Lightweight Abstraction for Mathematical Computation in Java
22 views
Subverting the Type System and Reflections on Trusting Trust
38 views
Types for Atomicity
69 views