Fixed points and frontiers: a new perspective (Q4939693)
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: Publication:4939693 |
scientific article; zbMATH DE number 1400712
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fixed points and frontiers: a new perspective |
scientific article; zbMATH DE number 1400712 |
Statements
Fixed points and frontiers: a new perspective (English)
0 references
9 February 2000
0 references
computation of fixed points
0 references
frontiers algorithm
0 references
abstract domains
0 references
abstract interpretation
0 references
0.7992796301841736
0 references
0.7677809596061707
0 references
0.7462118864059448
0 references