Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading

Quentin Stiévenart

Research output: Contribution to journal › Meeting abstract (Journal)

Original language	English
Pages (from-to)	22-23
Number of pages	2
Journal	Journal of Functional Programming
Volume	28
Issue number	e17
DOIs	https://doi.org/10.1017/S0956796818000175
Publication status	Published - Jul 2018

Access to Document

@article{22fe77811e68420086c44bb9bf2e9959,

title = "Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading",

author = "Quentin Sti{\'e}venart",

year = "2018",

month = jul,

doi = "10.1017/S0956796818000175",

language = "English",

volume = "28",

pages = "22--23",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

number = "e17",

}

TY - JOUR

T1 - Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading

AU - Stiévenart, Quentin

PY - 2018/7

Y1 - 2018/7

U2 - 10.1017/S0956796818000175

DO - 10.1017/S0956796818000175

M3 - Meeting abstract (Journal)

VL - 28

SP - 22

EP - 23

JO - Journal of Functional Programming

JF - Journal of Functional Programming

SN - 0956-7968

IS - e17

ER -