Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Publications
Date
Featured collections
Popular topics
3 results for Deepak Goyal
Streaming XPath processing with forward and backward axes
- Charles Barton
- Philippe Charles
- et al.
- 2003
- ICDE 2003
Typestate verification: Abstraction techniques and complexity results
- J. Field
- D. Goyal
- et al.
- 2005
- Science of Computer Programming