<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-05-25 23:05:38Mathematical logic Model theory Abstract interpretation Semantics Interpretation Function Piecewise Denotational semantics Mathematics Functions and mappings Logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2015-05-25 23:05:38Mathematical logic Model theory Abstract interpretation Semantics Interpretation Function Piecewise Denotational semantics Mathematics Functions and mappings Logic |
|
An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e