@masterthesis{2884741, title = "Integration of Doop's static analysis to ReDex optimizer", authorField = "Ζογμπή, Λυδία", year = "2019", school = "Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών" }