Publications

of Joxan Jaffar

Books and proceedings

  1. J. Jaffar, editor. CP99l, volume 1713 of LNCS, October 1999. SV. ISBN: 3-540-66626-5.

Articles in journal, book chapters

  1. Gregory J. Duck, Joxan Jaffar, and Roland H.C. Yap. Shape Neutral Analysis of Graph-based Data-structures. Theory and Practice of Logic Programming, 18(3-4):470-483, 2018.
  2. Gregory J. Duck, Joxan Jaffar, and Nicolas Koh. A Symbolic Execution Framework with Explicit Heaps and Separation. 2011.

Conference articles

  1. Gregory J. Duck, Joxan Jaffar, and Nicolas C. H. Koh. Constraint-Based Program Reasoning with Heaps and Separation. In Christian Schulte, editor, CP, volume 8124 of Lecture Notes in Computer Science, pages 282-298, 2013. Springer. ISBN: 978-3-642-40626-3.

BACK TO INDEX