Mailbox Abstractions for Static Analysis of Actor Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. Mailbox Abstractions for Static Analysis of Actor Programs. In Peter Müller, editor, 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. Volume 74 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

The following publications are possibly variants of this publication:

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. darts, 3(2), 2017. [doi]

runs on WebDSL