Juan Carlos González Moreno, Mara Teresa Hortal González, Mario Rodríguez Artalejo  Home/Search
Context Related
| mozart.sip.ucm.es/papers/1...csl91.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mozart.sip.ucm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Denotational semantics is the usual mathematical semantics for functional programming languages. It is higher order (H.O.) in the sense that the semantic domain D includes [D ! D] as a subdomain. On the other hand, the usual declarative semantics for logic programs is first order (F.O.) and given by the least Herbrand model. In this paper, we take a restricted kind of H.O. conditional rewriting systems as computational paradigm for functional programming. For these systems, we define both H.O. ... (Update)
Context of citations to this paper: More
...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...
Cited by: More
Level-Confluence of Conditional Rewrite Systems with.. - Suzuki, Middeldorp, Ida (1995) (Correct)
Active bibliography (related documents): More All
1.7: On the Completeness of Narrowing as the.. -.. (1992) (Correct)
0.7: A correctness proof for Warren's HO into FO translation - Gonzalez-Moreno (1993) (Correct)
0.5: Termination And Confluence In Infinitary Term Rewriting - Rodenburg (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Partial Updates Exploration II - Gurevich, Tillmann (2003) (Correct)
0.2: Solving Combinatorial Problems with a Constraint.. - Fernandez.. (2003) (Correct)
0.1: Dynamic Register Renaming through Virtual-Physical.. - Monreal.. (2000) (Correct)
Related documents from co-citation: More All
2: Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
2: On Termination and Confluence of Conditional Rewrite Systems - Gramlich
2: On conditional rewrite systems with extra variables and deterministic logic prog.. (context) - Avenhaus, Lor'ia-S'aenz - 1994
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/183458.html More
@misc{ gonz'alez-moreno92denotational,
author = "J. Gonz'alez-Moreno and M. Hortal'a-Gonz'alez and M. Rodr'iguez-Artalejo",
title = "Denotational versus Declarative Semantics for Functional Programming",
text = "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.",
year = "1992",
url = "citeseer.ist.psu.edu/183458.html" }
Citations (may not include all citations):53 Theoretical Computer Science (context) - Dershowitz, Kaplan et al. - 1991
19 Levi: The Relation between Logic and Functional Languages: a.. (context) - Bellia - 1986
6 Seldin: Introduction to Combinators and -Calculus (context) - Hindley - 1986
5 Wright: On Initial Algebra Semantics and Continuous Algebras (context) - Goguen, Thatcher et al. - 1977
4 Palamidessi: A two-level approach to logic and functional pr.. (context) - Bellia, Bosco et al.
4 Richards: On Warren's Method for Functional Programming in L.. (context) - Cheng, van Emden - 1990
4 Nadathur: Higher Order Logic Programming (context) - Miller - 1986
2 de Vries: Transfinite Reductions in Orthogonal Term Rewritin.. (context) - Kennaway, Klop et al. - 1989
2 Okada: A Rationale for Conditional Equational Programming (context) - Dershowitz - 1990
2 Springer LNCS (context) - Scott, denotational et al. - 1982
2 Logic Programming: Functions (context) - de Groot, Lindstrom - 1986
1 Warren: HiLog: A First Order Semantics for Higher-Order Logi.. (context) - Chen, Kifer - 1989
1 Rodrguez-Artalejo: A Functional Logic Language with Higher O.. (context) - Gonzlez-Moreno, Hortal-Gonzlez - 1990
Documents on the same site (http://mozart.sip.ucm.es/papers/): More
A correctness proof for Warren's HO into FO translation - Gonzalez-Moreno (1993) (Correct)
Action and Change in Rewriting Logic - Martí-Oliet, Meseguer (1996) (Correct)
GOTA Algebras - Lago, Artalejo (1996) (Correct)
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