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

Quentin Stiévenart

Research output: Contribution to journalMeeting abstract (Journal)

Original languageEnglish
Pages (from-to)22-23
Number of pages2
JournalJournal of Functional Programming
Volume28
Issue numbere17
DOIs
Publication statusPublished - Jul 2018

Cite this