( en | de | ru )

 

Disambiguierung von "Jaffar, Joxan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A CLP Method for Compositional and Intermittent Predicate Abstraction.

, , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2006)

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

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)A Finite Presentation Theorem for Approximating Logic Programs., und . POPL, Seite 197-209. ACM Press, (1990)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)Reasoning about Array Segments., und . ECAI, Seite 62-66. (1982)Logic Programming Language Scheme., , und . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)Toward Practical Query Evaluation for Constraint Databases., , und . Constraints An Int. J., 2 (3/4): 279-304 (1997)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)