Transformations and Confluence for Rewrite Systems
暂无分享,去创建一个
[1] Gérard P. Huet,et al. Proofs by Induction in Equational Theories with Constructors , 1980, FOCS.
[2] David R. Musser,et al. On proving inductive properties of abstract data types , 1980, POPL '80.
[3] I. V. Ramakrishnan,et al. Programming with Equations: A Framework for Lazy Parallel Evaluation , 1992, CADE.
[4] Jan Willem Klop,et al. Combinatory reduction systems , 1980 .
[5] Ellis Horowitz,et al. Abstract data types and software validation , 1978, CACM.
[6] Christoph M. Hoffmann,et al. Programming with Equations , 1982, TOPL.
[7] Joseph A. Goguen,et al. How to Prove Algebraic Inductive Hypotheses Without Induction , 1980, CADE.
[8] I. V. Ramakrishnan,et al. Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems , 1990, ICALP.
[9] Michael J. O'Donnell,et al. Equational Logic as a Programming Language. , 1987 .
[10] Alain Laville. Lazy pattern matching in the ML language , 1987, FSTTCS.
[11] Satish R. Thatte. On the Correspondence Metween Two Classes of Reduction Systems , 1985, Inf. Process. Lett..
[12] I. V. Ramakrishnan,et al. Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution , 1989, RTA.
[13] Paul Chew,et al. An improved algorithm for computing with equations , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
[14] Rakesh M. Verma. A theory of using history for equational systems with applications , 1995, JACM.
[15] Paul Chew. Unique normal forms in term rewriting systems with repeated variables , 1981, STOC '81.
[16] P. Schönemann. On artificial intelligence , 1985, Behavioral and Brain Sciences.
[17] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[18] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .
[19] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.
[20] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[21] Satish R. Thatte. Implementing First-Order Rewriting with Constructor Systems , 1988, Theor. Comput. Sci..