( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deriving Specialized Program Analyses for Certifying Component-Client Conformance.

, , , , и . PLDI, стр. 83-94. ACM, (2002)

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.

Nagendran Ramalingam

Srikumar Ramalingam

Giuseppe G G Manzardo

G Sawers

G Hübner

 

Другие публикации лиц с тем же именем

Automatic Scalable Atomicity via Semantic Locking., , , и . ACM Trans. Parallel Comput., 3 (4): 21:1-21:29 (2017)A Categorized Bibliography on Incremental Computation., и . POPL, стр. 502-510. ACM Press, (1993)Aggregate Structure Identification and Its Application to Program Analysis., , и . POPL, стр. 119-132. ACM, (1999)Bottom-up shape analysis using LISF., , , и . 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)On loops, dominators, and dominance frontiers.. ACM Trans. Program. Lang. Syst., 24 (5): 455-490 (2002)Effective typestate verification in the presence of aliasing., , , , и . ACM Trans. Softw. Eng. Methodol., 17 (2): 9:1-9:34 (2008)Bounded Incremental Computation. Lecture Notes in Computer Science Springer, (1996)Modular Heap Analysis for Higher-Order Programs., , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 370-387. Springer, (2012)Sequential verification of serializability., , и . POPL, стр. 31-42. ACM, (2010)