Galois transformers and modular abstract interpreters: reusable metatheory for program analysis

8 years 16 days ago

Download david.darais.com

Abstract Interpreters Reusable Metatheory for Program Analysis David Darais University of Maryland Matthew Might University of Utah David Van Horn University of Maryland

David Darais, Matthew Might, David Van Horn

Real-time Traffic

OOPSLA 2015 | Security Privacy |

claim paper

» Automatic modular abstractions for linear constraints

» Automatic Modular Abstractions for Template Numerical Constraints

» Generating HeapBounded Programs in a Functional Setting

» A methodology for generating verified combinatorial circuits

» A Flexible CLPBased Approach to the Analysis of ObjectOriented Programs

» Spatial Aggregation Language and Applications

» Thread Quantification for Concurrent Shape Analysis

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	OOPSLA
Authors	David Darais, Matthew Might, David Van Horn

Comments (0)

Sciweavers

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis

OOPSLA 2015 | Security Privacy |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers