×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [weak type system]
bluespec talk
1.705 views
CS 2104 Prog. Lang. Concepts Dr. Abhik Roychoudhury School of Computing
223 views
Introduction The Approach ’ s Overview A Language of Pointers The Type System Operational Semantics Type Safety Type Inference The Rest of C Experiments
219 views
Programming Language
31 views
CCured : Type-Safe Retrofitting of Legacy Code
29 views
CCured : Type-Safe Retrofitting of Legacy Code
45 views