( en | de | ru )

 

Disambiguierung von "Jaffar, Joxan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Shape Neutral Analysis of Graph-based Data-structures.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sadik Jaffar Saad

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint Programming 2000., und . ACM Comput. Surv., 28 (4es): 65 (1996)A Finite Presentation Theorem for Approximating Logic Programs., und . POPL, Seite 197-209. ACM Press, (1990)Path-Sensitive Backward Slicing., , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)Relative Safety., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 282-297. Springer, (2006)Unbounded Symbolic Execution for Program Verification., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 396-411. Springer, (2011)Invited Talk: Some Issues and Trends in the Semantics of Logic Programming., , und . ICLP, Volume 225 von Lecture Notes in Computer Science, Seite 223-241. Springer, (1986)Toward Practical Query Evaluation for Constraint Databases., , und . Constraints An Int. J., 2 (3/4): 279-304 (1997)Automating Proofs of Data-Structure Properties in Imperative Programs., , und . CoRR, (2014)A Generic Algorithm for CLP Analysis., und . ICLP, Seite 49-63. MIT Press, (1995)Projecting CLP (R) Constraints., , , und . New Generation Comput., 11 (3): 449-469 (1993)