26 search results - page 6 / 6 » Stateful Contracts for Affine Types |
SOFTVIS
2010
ACM
13 years 6 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...