Visualization of CHR through Source-to-Source Transformation
暂无分享,去创建一个
[1] Bart Demoen,et al. Aggregates in CHR , 2007 .
[2] Matthias Schmauss. An Implementation of CHR in Java , 1999 .
[3] Peter J. Stuckey,et al. The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.
[4] Thom W. Frühwirth. Specialization of Concurrent Guarded Multi-set Transformation Rules , 2004, LOPSTR.
[5] Thom W. Frühwirth,et al. Source-to-Source Transformation for a Class of Expressive Rules , 2003, APPIA-GULP-PRODE.
[6] Slim Abdennadher,et al. A Visualization Tool for Constraint Handling Rules , 2001, WLPE.
[7] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[8] Gaudenz Alder,et al. Design and Implementation of the JGraph Swing Component , 2003 .
[9] Maurizio Gabbrielli,et al. Unfolding in CHR , 2007, PPDP '07.
[10] Thom W. Frühwirth,et al. Probabilistic Constraint Handling Rules , 2002, Electron. Notes Theor. Comput. Sci..
[11] Bart Demoen,et al. User-definable rule priorities for CHR , 2007, PPDP '07.
[12] Bart Demoen,et al. Aggregates for CHR through Program Transformation , 2008, LOPSTR.