Back to Results
First PageMeta Content
Structure / Function / Itō diffusion / Mathematics / Mathematical logic / Abstract interpretation


The Abstract Domain of Segmented Ranking Functions Caterina Urban ´ Ecole Normale Sup´erieure - CNRS - INRIA, Paris, France
Add to Reading List

Document Date: 2015-05-25 23:05:40

Open Document

File Size: 355,34 KB

Share Result on Facebook

Company

vF / tB / /

Currency

pence / /

/

IndustryTerm

meet operator / /

Organization

Ecole Normale Sup´erieure / /

Person

Patrick Cousot / Radhia Cousot / Caterina Urban / /

/

Position

abstract approximation preorder vP / vP hρ2 / /

Technology

dom / /

SocialTag