Scaling Up Abstract Interpretation by Abstracting Abstract Machines
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Producer
Director
Performer
Choreographer
Costume Designer
Music
Videographer
Lighting Designer
Set Designer
Crew Member
Funder
Rehearsal Director
Concert Coordinator
Advisor
Moderator
Panelist
Alternative Title
Department
Haverford College. Department of Computer Science
Type
Thesis
Original Format
Running Time
File Format
Place of Publication
Date Span
Copyright Date
Award
Language
eng
Note
Table of Contents
Terms of Use
Rights Holder
Access Restrictions
Tri-College users only
Terms of Use
Tripod URL
Identifier
Abstract
This paper examines the ideas presented in Van Horn and Might’s 2010 paper, Abstracting Abstract Machines as a recent development of static analysis of programs. The paper consolidates background information on the lambda calculus, abstract interpreters, abstract machines and control flow analysis to better understand the context of Abstract Abstract Machines.