Publication Date
Spring 2020
School
School of Business; College of Arts and Sciences
Major
Computer Science; Mathematics
Keywords
gradual typing, gradual verification, dataflow analysis
Disciplines
Programming Languages and Compilers | Software Engineering
Recommended Citation
Estep, Samuel, "Gradual Program Analysis" (2020). Senior Honors Theses. 934.
https://digitalcommons.liberty.edu/honors/934
Abstract
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.
