License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.3.2.11
URN: urn:nbn:de:0030-drops-72920
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7292/
Go back to Dagstuhl Artifacts Series


Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang ; De Roover, Coen

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)

pdf-format:
DARTS-3-2-11.pdf (0.3 MB)
artifact-format:
DARTS-3-2-11-artifact-cccc1c14ec19366c8f99f0a341fbc139.tar.xz (1,806 MB)


Abstract

This artifact is based on Scala-AM, a static analysis framework relying on the Abstracting Abstract Machines approach. This version of the framework is extended to support actor-based programs, written in a variant of Scheme. The sound static analysis is performed in order to verify the absence of errors in actor-based program, and to compute upper bounds on actor's mailboxes. We developed several mailbox abstractions with which the static analysis can be run, and evaluate the precision of the technique with these mailbox abstractions. This artifact contains documentation on how to use analysis and on how to reproduce the results presented in the companion paper.

BibTeX - Entry

@Article{stivenart_et_al:DARTS:2017:7292,
  author =	{Quentin Sti{\'e}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  title =	{{Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)}},
  pages =	{11:1--11:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7292},
  URN =		{urn:nbn:de:0030-drops-72920},
  doi =		{10.4230/DARTS.3.2.11},
  annote =	{Keywords: static analysis, abstraction, abstract interpretation, actors, mailbox}
}

Keywords: static analysis, abstraction, abstract interpretation, actors, mailbox
Seminar: DARTS, Volume 3, Issue 2
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2017.25
Issue Date: 2017
Date of publication: 14.06.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI