Clustered relational thread-modular abstract interpretation with local traces (Q6535225)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Clustered relational thread-modular abstract interpretation with local traces |
scientific article; zbMATH DE number 7770310
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Clustered relational thread-modular abstract interpretation with local traces |
scientific article; zbMATH DE number 7770310 |
Statements
Clustered relational thread-modular abstract interpretation with local traces (English)
0 references
24 November 2023
0 references
thread-modular relational abstract interpretation
0 references
collecting local trace semantics
0 references
clusters
0 references
dynamic thread creation
0 references
concurrency
0 references
0 references
0 references
0 references
0 references
0 references
