Publications

of Maurice Bruynooghe

Conference articles

  1. Paolo Pilozzi, Tom Schrijvers, and Maurice Bruynooghe. A transformational approach for proving properties of the CHR constraint store. In Danny De Schreye, editor, LOPSTR09l, volume 6037 of LNCS, pages 22-36, 2010. SV. [doi:10.1007/978-3-642-12592-8_3] Keyword(s): termination.
  2. Tom Schrijvers and Maurice Bruynooghe. Polymorphic algebraic data type reconstruction. In A. Bossi and M.J. Maher, editors, PPDP06l, pages 85-96, July 2006. ACM. ISBN: 1-59593-388-3. Keyword(s): type systems.

BACK TO INDEX