A proof-theoretic approach to the static analysis of logic programs (Q3086788)
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: A proof-theoretic approach to the static analysis of logic programs |
scientific article; zbMATH DE number 5872268
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A proof-theoretic approach to the static analysis of logic programs |
scientific article; zbMATH DE number 5872268 |
Statements
30 March 2011
0 references
static analysis
0 references
logic programs
0 references
approximation of data structures
0 references
0.765656590461731
0 references
0.7619063854217529
0 references
0.7601326107978821
0 references
