Juan Carlos Gonz'alez-Moreno, M.T. Hortal'a-Gonz'alez, M. Rodr'iguez-Artalejo, Denotational versus Declarative Semantics for Functional Programming, Proceedings of the 5th Workshop on Computer Science Logic, Berne, Lecture Notes in Computer Science 626, pp. 134--148, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Level-Confluence of Conditional Rewrite Systems with.. - Suzuki, Middeldorp, Ida (1995) (15 citations) (Correct)
....among others, distinguish feasible from infeasible critical pairs. A critical pair is infeasible if the instantiated combination of the two conditional parts of the rewrite rules that induce the critical pair is unsolvable. Infeasibility is undecidable in general, but see Gonz alez Moreno et al. [10] for a decidable sufficient condition. Infeasible critical pairs are harmless, so orthogonality can be strengthened by allowing infeasible critical pairs. This is important in practice since it permits systems like 8 : div(0; S(x) 0; 0) div(S(x) S(y) 0; S(x) x y ....
Juan Carlos Gonz'alez-Moreno, M.T. Hortal'a-Gonz'alez, M. Rodr'iguez-Artalejo, Denotational versus Declarative Semantics for Functional Programming, Proceedings of the 5th Workshop on Computer Science Logic, Berne, Lecture Notes in Computer Science 626, pp. 134--148, 1992.
Level-Confluence of Conditional Rewrite Systems with.. - Suzuki, Middeldorp, Ida (1995) (15 citations) (Correct)
....among others, distinguish feasible from infeasible critical pairs. A critical pair is infeasible if the instantiated combination of the two conditional parts of the rewrite rules that induce the critical pair is unsolvable. Infeasibility is undecidable in general, but see Gonz alez Moreno et al. [10] for a decidable sufficient condition. Infeasible critical pairs are harmless, so orthogonality can be strengthened by allowing infeasible critical pairs. This is important in practice since it permits systems like 8 : div(0; S(x) 0; 0) div(S(x) S(y) 0; S(x) x ....
Juan Carlos Gonz'alez-Moreno, M.T. Hortal'a-Gonz'alez, M. Rodr'iguez-Artalejo, Denotational versus Declarative Semantics for Functional Programming, Proceedings of the 5th Workshop on Computer Science Logic, Berne, Lecture Notes in Computer Science 626, pp. 134--148, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC