Denis Gopan and Mooly Sagiv - Free people check

(1 - 7 from 8

)

Accepted Papers

www.cs.princeton.edu

POPL Accepted Papers. Parametric Polymorphism for XML: Haruo Hosoya, Alain Frisch, Giuseppe Castagna: A ... Denis Gopan, Thomas Reps, Mooly Sagiv:

POPL Conference Program

www.cs.princeton.edu

POPL Conference Program. Wednesday, Jan :20AM: Opening Remarks Denis Gopan, Thomas Reps, Mooly Sagiv; 3:30PM -- 4PM: Break. 4PM Session:

CiteSeerX — Numeric Analysis of Array Operations

citeseerx.ist.psu.edu

BibTeX @MISC{Gopan_numericanalysis, author = {Denis Gopan and Thomas Reps and Mooly Sagiv}, title = {Numeric Analysis of Array Operations}, year = {}}

CiteSeerX — General Terms Languages, Verification

citeseerx.ist.psu.edu

@MISC{Gopan_generalterms, author = {Denis Gopan and Thomas Reps and Mooly Sagiv}, title = {General Terms Languages, Verification}, year = {}} Share. OpenURL . Abstract. Automatic discovery of relationships among values of array elements is a challenging problem due to the unbounded nature of arrays. We present a framework for analyzing array ...

Related search requests for Denis Gopan

Frank Dimaio
Manu Sridharan

People
Forename "Denis" (19155)
Name "Gopan" (66)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Denis Gopan and Mooly Sagiv Free People Check

Accepted Papers

POPL Conference Program

CiteSeerX — Numeric Analysis of Array Operations

CiteSeerX — General Terms Languages, Verification

Numeric Domains with Summarized Dimensions

All web results to the name "Denis Gopan"

publications - nuritdor - Google Sites

Verified Software: Theories, Tools, Experiments 2005dl.ifip.org › conf › vstte › vstte2005