University of Maryland
CMSC 631 — Program Analysis and Understanding
57 documents • ranked by quality and engagement.
No description provided
User-Centered Static Analysis Path Projection
CMSC 631 · University of Maryland
Functional Programming and Lambda Calculus
CMSC 631 · University of Maryland
Techniques for Garbage Collection
CMSC 631 · University of Maryland
Foreign Function Calls Type Safety
CMSC 631 · University of Maryland
Slides for Program Analysis
CMSC 631 · University of Maryland
OCaml Functional Programming
CMSC 631 · University of Maryland
Building System-Specific Static Analyses
CMSC 631 · University of Maryland
Concepts of Types
CMSC 631 · University of Maryland
Systems that are Reactive
CMSC 631 · University of Maryland