Browsing Theses by Author "Rapoport, Marianna"

Now showing items 1-2 of 2

Data Flow Analysis in the Presence of Correlated Calls

Rapoport, Marianna (University of Waterloo, 2014-08-19)

This thesis presents a technique to improve the precision of data-flow analyses on object-oriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (have ...
A Path to DOT: Formalizing Scala with Dependent Object Types

Rapoport, Marianna (University of Waterloo, 2019-12-13)

The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) type-safe way and is iii) easy to extend ...