000176002 001__ 176002
000176002 005__ 20190316235331.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$$g175713$$aKneuss, Etienne
000176002 720_2 $$aKuncak, Viktor$$edir.$$g177241$$0240031
000176002 720_2 $$aSuter, Philippe$$edir.$$g161402$$0242187
000176002 8564_ $$uhttps://infoscience.epfl.ch/record/176002/files/main.pdf$$zn/a$$s1274609$$yn/a
000176002 909C0 $$xU11739$$0252019$$pLARA
000176002 909CO $$qGLOBAL_SET$$pIC$$ooai:infoscience.tind.io:176002
000176002 917Z8 $$x175713
000176002 917Z8 $$x175713
000176002 937__ $$aEPFL-STUDENT-176002
000176002 973__ $$sPUBLISHED$$aEPFL
000176002 980__ $$bMASTERS$$aSTUDENT