Travelled to:1 × Canada
1 × USA
Collaborated with:∅
Talks about:program (2) framework (1) construct (1) techniqu (1) approach (1) analysi (1) specif (1) semant (1) slice (1) level (1)
Person: G. A. Venkatesh
DBLP: Venkatesh:G=_A=
Contributed to:
19911989Wrote 2 papers:
- PLDI-1991-Venkatesh #approach #semantics #slicing
- The Semantic Approach to Program Slicing (GAV), pp. 107–119.
- PLDI-1989-Venkatesh #evaluation #framework #program analysis #specification
- A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques (GAV), pp. 1–12.