# Shivers' Control Flow Analysis

 Title: Shivers' Control Flow Analysis Author: Joachim Breitner (joachim /at/ cis /dot/ upenn /dot/ edu) Submission date: 2010-11-16 Abstract: In his dissertation, Olin Shivers introduces a concept of control flow graphs for functional languages, provides an algorithm to statically derive a safe approximation of the control flow graph and proves this algorithm correct. In this research project, Shivers' algorithms and proofs are formalized in the HOLCF extension of HOL. BibTeX: @article{Shivers-CFA-AFP, author = {Joachim Breitner}, title = {Shivers' Control Flow Analysis}, journal = {Archive of Formal Proofs}, month = nov, year = 2010, note = {\url{http://isa-afp.org/entries/Shivers-CFA.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License