Articles in journal, book chapters
- Flavio Cruz and Ricardo Rocha. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities, pages 34-49. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_3]
- Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.
Conference articles
- Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR11l, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011.
- Thierry Martinez. Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules. In M. Fernández, editor, PPDP10l, pages 57-66, July 2010. ACM. [doi:10.1145/1836089.1836097] Keyword(s): semantics, related formalisms, linear logic.
- Thierry Martinez. On connections between CHR and LCC. In F. Raiser and J. Sneyers, editors, CHR09l, pages 18-32, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, linear logic, related formalisms, CHR 2009, CHR 2009.
- Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
- Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
- Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.
- Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP05, volume 3709 of LNCS, pages 137-151, October 2005. SV. Keyword(s): semantics, linear logic.
Miscellaneous
- Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.
BACK TO INDEX