Original language | English |
---|---|
Pages (from-to) | 22-23 |
Number of pages | 2 |
Journal | Journal of Functional Programming |
Volume | 28 |
Issue number | e17 |
DOIs | |
Publication status | Published - Jul 2018 |
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)