OnDemandOBJ: A Laboratory for Strategy Annotations
暂无分享,去创建一个
[1] Steven Eker. Term rewriting with operator evaluation strategies , 1998, WRLA.
[2] Jürgen Giesl,et al. Termination of term rewriting using dependency pairs , 2000, Theor. Comput. Sci..
[3] Salvador Lucas,et al. Correct and Complete (Positive) Strategy Annotations for OBJ , 2002, Electron. Notes Theor. Comput. Sci..
[4] Hans Zantema,et al. Termination of Context-Sensitive Rewriting , 1997, RTA.
[5] Salvador Lucas,et al. Termination of on-demand rewriting and termination of OBJ programs , 2001, PPDP '01.
[6] Kazuhiro Ogata,et al. Operational semantics of rewriting with the on-demand evaluation strategy , 2000, SAC '00.
[7] Salvador Lucas. Lazy Rewriting and Context-Sensitive Rewriting , 2002, Electron. Notes Theor. Comput. Sci..
[8] M. Clavel,et al. Principles of Maude , 1996, WRLA.
[9] Salvador Lucas. Termination of (Canonical) Context-Sensitive Rewriting , 2002, RTA.
[10] Salvador Lucas,et al. On-demand Evaluation by Program Transformation , 2003, Electron. Notes Theor. Comput. Sci..
[11] Salvador Lucas,et al. Improving On-Demand Strategy Annotations , 2002, LPAR.
[12] 長谷 崇. Reduction strategies for term rewriting systems , 1999 .
[13] Wan Fokkink,et al. Lazy rewriting on eager machinery , 2000, TOPL.
[14] Ataru T. Nakagawa,et al. An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks , 1997, First IEEE International Conference on Formal Engineering Methods.
[15] Salvador Lucas. Context-sensitive rewriting strategies , 2002 .
[16] Kazuhiro Ogata,et al. The evaluation strategy for head normal form with and without on-demand flags , 2000, WRLA.
[17] Salvador Lucas,et al. Demandness in Rewriting and Narrowing , 2002, WFLP.
[18] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.