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 the normal view instead:
scientific article; zbMATH DE number 7770310
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8210921287536621
0 references
0.8155385851860046
0 references
0.7996430993080139
0 references
0.7451285123825073
0 references
0.7117177844047546
0 references
