Assal\'e Adj\'e (LIX

Identifiers

• name variant Assal\'e Adj\'e (LIX 0.60 · backfill

Papers (1)

1. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #1

Mentions

• 1111.5223 #1 · backfill · confidence 0.70 Assal\'e Adj\'e (LIX

Frequent Coauthors

• CEA LIST) 1 shared papers
• Ecole polytechnique 1 shared papers
• Ecole Polytechnique) 1 shared papers
• Eric Goubault (CEA LIST) 1 shared papers
• St\'ephane Gaubert (INRIA Saclay 1 shared papers