Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)

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



PDF
Thumbnail PDF

Artifact Description

DARTS.3.2.11.pdf
  • Filesize: 349 kB
  • 2 pages

Document Identifiers

Author Details

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

Cite AsGet BibTex

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover. Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 11:1-11:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/DARTS.3.2.11

Artifact

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.
Keywords
  • static analysis
  • abstraction
  • abstract interpretation
  • actors
  • mailbox

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail