( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A combination framework for tracking partition sizes.

, , и . POPL, стр. 239-251. ACM, (2009)

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.

No persons found for author name Sagiv, Mooly
add a person with the name Sagiv, Mooly
 

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

Generalizing DPLL to Richer Logics., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 462-476. Springer, (2009)Thread-Modular Shape Analysis.. VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 3. Springer, (2009)Data Structure Fusion., , , , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 204-221. Springer, (2010)Synthesizing Cluster Management Code for Distributed Systems., , , , , и . HotOS, стр. 45-50. ACM, (2019)Reasoning about Lock Placements., , , , и . ESOP, том 7211 из Lecture Notes in Computer Science, стр. 336-356. Springer, (2012)Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis., , , , и . SAS, том 9291 из Lecture Notes in Computer Science, стр. 252-274. Springer, (2015)Property-Directed Reachability as Abstract Interpretation in the Monotone Theory., , , и . CoRR, (2021)Parametric shape analysis via 3-valued logic, , и . ACM Trans. Program. Lang. Syst., 24 (3): 217--298 (2002)Finite differencing of logical formulas for static analysis., , и . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)Bounded Quantifier Instantiation for Checking Inductive Invariants., , , , и . Log. Methods Comput. Sci., (2019)