Publications

3 results for Deepak Goyal

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