( en | de | ru )

 

Disambiguation of "Ramalingam, G."

Author of the publication

copydeleteadd this publication to your clipboard
Shape Analysis by Graph Decomposition.

, , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 3-18. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nagendran Ramalingam

Srikumar Ramalingam

Giuseppe G G Manzardo

G Baumann

G Lüers

 

Other publications of authors with the same name

Bottom-up shape analysis using LISF., , , and . ACM Trans. Program. Lang. Syst., 33 (5): 17:1-17:41 (2011)Context-sensitive synchronization-sensitive analysis is undecidable.. ACM Trans. Program. Lang. Syst., 22 (2): 416-430 (2000)A Categorized Bibliography on Incremental Computation., and . POPL, page 502-510. ACM Press, (1993)Aggregate Structure Identification and Its Application to Program Analysis., , and . POPL, page 119-132. ACM, (1999)On loops, dominators, and dominance frontiers.. ACM Trans. Program. Lang. Syst., 24 (5): 455-490 (2002)Effective typestate verification in the presence of aliasing., , , , and . ACM Trans. Softw. Eng. Methodol., 17 (2): 9:1-9:34 (2008)Bounded Incremental Computation. Lecture Notes in Computer Science Springer, (1996)Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System., , , and . Multim. Syst., 7 (5): 424-437 (1999)Automatic Scalable Atomicity via Semantic Locking., , , and . ACM Trans. Parallel Comput., 3 (4): 21:1-21:29 (2017)On the Computational Complexity of Dynamic Graph Problems., and . Theor. Comput. Sci., 158 (1&2): 233-277 (1996)