论文信息 - Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model - 字舞流文

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

Kiyoshi Akama | Hiroshi Mabuchi | Ikumi Imani | Itaru Takarajima | K. Akama | H. Mabuchi | Itaru Takarajima | Ikumi Imani

[1] Kiyoshi Akama,et al. MULTI-COMPUTATION MECHANISM FOR SET EXPRESSIONS , 2001 .

[2] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[3] Pascal Van Hentenryck,et al. Constraint Satisfaction Using Constraint Logic Programming , 1992, Artif. Intell..

[4] Kiyoshi Akama,et al. Program Synthesis Based on the Equivalent Transformation Computation Model , 2002, LOPSTR.

[5] C. A. Petri. Nets, Time and Space , 1996, Theoretical Computer Science.

[6] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.

[7] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[8] Danny De Schreye,et al. Termination of Logic Programs: The Never-Ending Story , 1994, J. Log. Program..

[9] Siau-Cheng Khoo,et al. Affine-Based Size-Change Termination , 2003, APLAS.

[10] K. Akama,et al. Parallel processing method based on equivalent transformation , 2005, 2005 IEEE International Conference on Intelligent Engineering Systems, 2005. INES '05..

[11] Neil D. Jones,et al. The size-change principle for program termination , 2001, POPL '01.