License: 
Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.9
URN: urn:nbn:de:0030-drops-61304
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6130/
Facchinetti, Leandro ;
Palmer, Zachary ;
Smith, Scott F.
Higher-Order Demand-Driven Program Analysis (Artifact)
Abstract
This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higher-order functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the user and is capable of rendering the control flow graphs and pushdown systems using the GraphViz language DOT. This artifact was used to verify the conclusions of the companion paper and produces visualizations matching those figures in the companion paper's overview.
BibTeX - Entry
@Article{facchinetti_et_al:DARTS:2016:6130,
author = {Leandro Facchinetti and Zachary Palmer and Scott F. Smith},
title = {{Higher-Order Demand-Driven Program Analysis (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6130},
URN = {urn:nbn:de:0030-drops-61304},
doi = {10.4230/DARTS.2.1.9},
annote = {Keywords: program analysis, polynomial, demand-driven, flow-sensitive, context-sensitive}
}
|
Keywords: |
|
program analysis, polynomial, demand-driven, flow-sensitive, context-sensitive |
|
Collection: |
|
DARTS, Volume 2, Issue 1 |
|
Related Scholarly Article: |
|
http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.19 |
|
Issue Date: |
|
2016 |
|
Date of publication: |
|
14.07.2016 |
