An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e Add to Reading List Document Date: 2015-05-25 23:05:38 Open Document File Size: 837,67 KB Share Result on Facebook Organization Ecole Normale Sup´ / / Person Caterina Urban / Antoine Min / / SocialTag Mathematical logic Model theory Abstract interpretation Semantics Interpretation Function Piecewise Denotational semantics Mathematics Functions and mappings

An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ eAdd to Reading List