Back to Results
First PageMeta Content
Abstract interpretation / Piecewise / Function / Maxima and minima / Patrick Cousot / Convex function / Partial function / Piecewise linear function / Mathematical analysis / Mathematics / Functions and mappings


Piecewise-Defined Ranking Functions∗ Caterina Urban1 1 École Normale Supérieure - CNRS - INRIA Paris, France
Add to Reading List

Document Date: 2013-08-26 10:13:14

Open Document

File Size: 364,25 KB

Share Result on Facebook

Country

France / /

/

Facility

Apron library / /

IndustryTerm

partition unification algorithm / /

Organization

European Union / /

Person

Patrick Cousot / Radhia Cousot / Andrey Rybalchenko / Nicolas Halbwachs / Robert W. Floyd / Caterina Urban / Bertrand Jeannet / Antoine Miné / Andreas Podelski / François Bourdoncle / reached yielding the following ranking function C. Urban / /

Position

Unified Lattice Model for Static Analysis / /

Technology

partition unification algorithm / Digital Object Identifier / /

URL

http /

SocialTag