( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Shape Neutral Analysis of Graph-based Data-structures.

, , и . Theory Pract. Log. Program., 18 (3-4): 470-483 (2018)

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.

Sadik Jaffar Saad

 

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

Projecting CLP (R) Constraints., , , и . New Generation Comput., 11 (3): 449-469 (1993)A Generic Algorithm for CLP Analysis., и . ICLP, стр. 49-63. MIT Press, (1995)A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors., , и . IEEE PACT, стр. 281-290. IEEE Computer Society, (2000)Automating Proofs of Data-Structure Properties in Imperative Programs., , и . CoRR, (2014)Constraint Programming 2000., и . ACM Comput. Surv., 28 (4es): 65 (1996)A Finite Presentation Theorem for Approximating Logic Programs., и . POPL, стр. 197-209. ACM Press, (1990)Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)Relative Safety., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 282-297. Springer, (2006)Invited Talk: Some Issues and Trends in the Semantics of Logic Programming., , и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 223-241. Springer, (1986)