School of Business; College of Arts and Sciences
Computer Science; Mathematics
gradual typing, gradual verification, dataflow analysis
Programming Languages and Compilers | Software Engineering
Estep, Samuel, "Gradual Program Analysis" (2020). Senior Honors Theses. 934.
Dataflow analysis and gradual typing are both well-studied methods to gain information about computer programs in a finite amount of time. The gradual program analysis project seeks to combine those two techniques in order to gain the benefits of both. This thesis explores the background information necessary to understand gradual program analysis, and then briefly discusses the research itself, with reference to publication of work done so far. The background topics include essential aspects of programming language theory, such as syntax, semantics, and static typing; dataflow analysis concepts, such as abstract interpretation, semilattices, and fixpoint computations; and gradual typing theory, such as the concept of an unknown type, liftings of predicates, and liftings of functions.