Seuraa
Joxan Jaffar
Joxan Jaffar
National University of Singapore
Vahvistettu sähköpostiosoite verkkotunnuksessa comp.nus.edu.sg - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Constraint logic programming
J Jaffar, JL Lassez
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987
23771987
Constraint logic programming: A survey
J Jaffar, MJ Maher
The journal of logic programming 19, 503-581, 1994
20141994
The CLP (ℛ) language and system
J Jaffar, S Michaylov, PJ Stuckey, RHC Yap
ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992
8211992
Methodology and Implementation of a CLP System
J Jaffar
In Proceedings of the Fourth International Conference Logic Programming, 196-218, 1987
3221987
The semantics of constraint logic programs
J Jaffar, M Maher, K Marriott, P Stuckey
The Journal of Logic Programming 37 (1-3), 1-46, 1998
2821998
A finite presentation theorem for approximating logic programs
N Heintze, J Jaffar
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
1911989
A decision procedure for a class of set constraints
N Heintze, J Jaffar
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
1611990
S3: A symbolic string solver for vulnerability detection in web applications
MT Trinh, DH Chu, J Jaffar
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1552014
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, J Navas, A Santosa
Computer Aided Verification, 758-766, 2012
1462012
A theory of complete logic programs with equality
J Jaffar, JL Lassez, MJ Maher
The Journal of Logic Programming 1 (3), 211-223, 1984
1441984
Minimal and complete word unification
J Jaffar
Journal of the ACM (JACM) 37 (1), 47-85, 1990
1381990
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1351983
Logic programming language scheme
J Jaffar
Logic programming, functions, relations, and equations, 441-467, 1986
1241986
Beyond finite domains
J Jaffar, M Maher, P Stuckey, R Yap
Principles and Practice of Constraint Programming, 86-94, 1994
1071994
Toward practical constraint databases
A Brodsky, J Jaffar, MJ Maher
Proceedings of the 19th International Conference on Very Large Data Bases …, 1993
97*1993
Efficient unification over infinite terms
J Jaffar
New Generation Computing 2 (3), 207-219, 1984
871984
An interpolation method for CLP traversal
J Jaffar, A Santosa, R Voicu
Principles and Practice of Constraint Programming-CP 2009, 454-469, 2009
852009
Set constraints and set-based analysis
N Heintze, J Jaffar
Principles and Practice of Constraint Programming, 281-298, 1994
821994
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
742013
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
672016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20