A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Abstracting abstract control
2014
Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14
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
doi:10.1145/2661088.2661098
dblp:conf/dls/JohnsonH14
fatcat:jftogwomxjhs3ob62mihglncom