Titlebook: ECOOP 2014 -- Object-Oriented Programming; 28th European Confer Richard Jones Conference proceedings 2014 Springer-Verlag Berlin Heidelberg

Adulate

Beantwortung der Forschungsfragensed on Featherweight Scala. We evaluate our algorithms on a collection of Scala programs. Our results show that careful handling of complex Scala constructs greatly helps precision and that our most precise analysis generates call graphs with 1.1-3.7 times fewer nodes and 1.5-18.7 times fewer edges than a bytecode-based RTA analysis.

莎草

树胶

foppish

有效

Feature

antidepressant

VAN

Constructing Call Graphs of Scala Programssed on Featherweight Scala. We evaluate our algorithms on a collection of Scala programs. Our results show that careful handling of complex Scala constructs greatly helps precision and that our most precise analysis generates call graphs with 1.1-3.7 times fewer nodes and 1.5-18.7 times fewer edges than a bytecode-based RTA analysis.

疲惫的老马

Finding Reference-Counting Errors in Python/C Programs with Affine Analysisn Python/C interface code. Pungi transforms Python/C interface code into affine programs with respect to our proposed abstractions of reference counts. Our system performs static analysis on transformed affine programs and reports possible reference counting errors. Our prototype implementation found over 150 errors in a set of Python/C programs.

担心