CHRAnimation: An Animation Tool for Constraint Handling Rules
暂无分享,去创建一个
[1] Robert Sedgewick,et al. A system for algorithm animation , 1984, SIGGRAPH.
[2] John T. Stasko,et al. Please address correspondence to , 2000 .
[3] Slim Abdennadher,et al. Visualization of CHR through Source-to-Source Transformation , 2012, ICLP.
[4] Hugh Jones,et al. How to run , 2010 .
[5] Peter J. Stuckey,et al. The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.
[6] Slim Abdennadher,et al. Chr _ : a Flexible Query Language , 2022 .
[7] Gert Smolka,et al. The Definition of Kernel Oz , 1994, Constraint Programming.
[8] John T. Stasko,et al. Algorithm Animation - Introduction , 2001, Software Visualization.
[9] Andrés Moreno. Algorithm Animation , 2006, Human-Centered Visualization Environments.
[10] Slim Abdennadher,et al. Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics , 2013, LOPSTR.
[11] Andreas Kerren,et al. Chapter 1 Algorithm Animation , 2002 .
[12] Marc H. Brown,et al. Algorithm animation , 1988 .
[13] Slim Abdennadher,et al. A Visualization Tool for Constraint Handling Rules , 2001, WLPE.
[14] John Stasko. Animating algorithms with XTANGO , 1992, SIGA.
[15] Slim Abdennadher,et al. Towards Inverse Execution of Constraint Handling Rules , 2013, Theory Pract. Log. Program..
[16] Robert Sedgewick,et al. SYSTEM FOR ALGORITHM ANIMATION. , 1984 .
[17] Susan H. Rodger,et al. Introducing computer science through animation and virtual worlds , 2002, SIGCSE '02.
[18] Thom W. Frühwirth,et al. Source-to-Source Transformation for a Class of Expressive Rules , 2003, APPIA-GULP-PRODE.
[19] Arabellastrasse,et al. Constraint Handling Rules ? , 1995 .
[20] Slim Abdennadher,et al. Visualization of Constraint Handling Rules , 2014, ArXiv.
[21] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[22] Slim Abdennadher,et al. On Confluence of Constraint Handling Rules , 1996, CP.
[23] Andreas Podelski,et al. Constraint Programming: Basics and Trends , 1995, Lecture Notes in Computer Science.
[24] Mostafa Ali Said. Animation of Mathematical and Graph-based Algorithms Expressed in Chr , .
[25] Marc H. Brown,et al. Zeus: a system for algorithm animation and multi-view editing , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.
[26] Thom W. Frühwirth,et al. Soft constraint propagation and solving in CHRs , 2002, SAC '02.
[27] Micha Meier. Debugging Constraint Programs , 1995, CP.
[28] Matthias Schmauss. An Implementation of CHR in Java , 1999 .