Predicate abstraction and canonical abstraction for singly-linked lists
- Roman Manevich
- E. Yahav
- et al.
- 2005
- VMCAI 2005
Publications
Date
Featured collections
Popular topics
30 results for G. Ramalingam
Slicing class hierarchies in C++
- Frank Tip
- Jong-Deok Choi
- et al.
- 1996
- OOPSLA 1996
Interactive authoring of multimedia documents
- Junehwa Song
- Michelle Y. Kim
- et al.
- 1996
- IEEE Symposium on Visual Languages 1996
Parametric program slicing
- J. Field
- G. Ramalingam
- 1995
- POPL 1995
Incremental algorithm for maintaining the dominator tree of a reducible flowgraph
- G. Ramalingam
- Thomas Reps
- 1994
- POPL 1994
Interactive authoring of multimedia documents in a constraint-based authoring system
- Junehwa Song
- G. Ramalingam
- et al.
- 1999
- Multimedia Systems
Solving systems of difference constraints incrementally
- G. Ramalingam
- Junehwa Song
- et al.
- 1999
- Algorithmica (New York)
Identifying loops in almost linear time
- G. Ramalingam
- 1999
- ACM TOPLAS
A Member Lookup Algorithm for C++
- G. Ramalingam
- Harini Srinivasan
- 1997
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Slicing class hierarchies in C++
- Frank Tip
- Jong-Deok Choi
- et al.
- 1996
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)