000176002 001__ 176002
000176002 005__ 20180913061214.0
000176002 037__ $$aSTUDENT
000176002 245__ $$aToward Interprocedural Pointer and Effect Analysis for Scala
000176002 269__ $$a2011
000176002 260__ $$c2011
000176002 336__ $$aStudent Projects
000176002 520__ $$aStatic program analysis techniques working on object-oriented languages require precise knowledge of the aliasing relation between variables. This knowledge is important to, among other things, understand the read and write effects of method calls on objects. Understanding such effects in turn enables compiler optimizations and other code transformations such as automated parallelization. This thesis presents a combination of a pointer analysis with a memory effect analysis for the Scala programming language. Our analysis is based on abstract interpretation, and computes summaries of method effects as graphs. This representation allows the analysis to be compositional. Our second contribution is an implementation of our analysis in a tool called Insane. Our tool is built as a plugin for the official Scala compiler. It accepts any Scala program, and is freely available.
000176002 6531_ $$aScala, pointer analysis, verification, effects
000176002 700__ $$0246132$$aKneuss, Etienne$$g175713
000176002 720_2 $$0240031$$aKuncak, Viktor$$edir.$$g177241
000176002 720_2 $$0242187$$aSuter, Philippe$$edir.$$g161402
000176002 8564_ $$s1274609$$uhttps://infoscience.epfl.ch/record/176002/files/main.pdf$$yn/a$$zn/a
000176002 909C0 $$0252019$$pLARA$$xU11739
000176002 909CO $$ooai:infoscience.tind.io:176002$$pIC
000176002 917Z8 $$x175713
000176002 917Z8 $$x175713
000176002 937__ $$aEPFL-STUDENT-176002
000176002 973__ $$aEPFL$$sPUBLISHED
000176002 980__ $$aSTUDENT$$bMASTERS