1 paper
Robert Jakob, Peter Thiemann
Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure.…