Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Facchinetti, Leandro; Palmer, Zachary; Smith, Scott F. License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-61304
URL:

; ;

Higher-Order Demand-Driven Program Analysis (Artifact)

pdf-format:
artifact-format:


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
Seminar: DARTS, Volume 2, Issue 1
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.19
Issue date: 2016
Date of publication: 2016


DROPS-Home | Fulltext Search | Imprint Published by LZI