Abstract domains for automated reasoning about list-manipulating programs with infinite data (Q2891398)
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 6046567
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract domains for automated reasoning about list-manipulating programs with infinite data |
scientific article; zbMATH DE number 6046567 |
Statements
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (English)
0 references
15 June 2012
0 references
0.8134050369262695
0 references
0.7692978382110596
0 references
0.7551912069320679
0 references
0.7535389065742493
0 references
0.7421464920043945
0 references
