Abstracting abstract control
Abstract
The strength of a dynamic language is also its weakness: run-time flexibility comes at the cost of compile-time predictability. Many of the hallmarks of dynamic languages such as closures, continuations, various forms of reflection, and a lack of static types make many programmers rejoice, while compiler writers, tool developers, and verification engineers lament. The dynamism of these features simply confounds statically reasoning about programs that use them. Consequently, static analyses for dynamic languages are few, far between, and seldom sound.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 14, 2014
- Source ID
- 10.1145/2775052.2661098
Entities
People
- David Van Horn
- Dionna Glaze
Organizations
- Defense Advanced Research Projects Agency
- Northeastern University
- University of Maryland