Travelled to:
1 × Germany
Collaborated with:
G.Ramalingam J.Field D.Goyal S.Sagiv
Talks about:
special (1) program (1) conform (1) certifi (1) compon (1) client (1) analys (1) deriv (1)
Person: Alex Varshavsky
DBLP: Varshavsky:Alex
Contributed to:
Wrote 1 papers:
- PLDI-2002-RamalingamWFGS #analysis #component #consistency
- Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.