E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal  Home/Search
Context Related
| dsic.upv.es/users/elp/germa...paper.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: dsic.upv.es/users/elp/ge...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we define an operational semantics for functional logic languages covering notions like laziness, sharing, concurrency, non-determinism, etc. Such a semantics is not only important to provide appropriate language definitions to reason about programs and check the correctness of implementations but it is also a basis to develop languagespecific tools, like program tracers, profilers, optimizers, etc. First, we define a "big-step" semantics in natural style to relate... (Update)
Context of citations to this paper: More
.... in the style of [13] Indeed, we have implemented an interpreter for Curry based on the operational description shown in this paper (see [2]) The interpreter is written in Haskell [20] and, thus, it can be easily adapted to Curry in order to obtain a meta interpreter for...
.... function which can also be used to solve equations over functional expressions (see below) For instance, the equation append p s = [1,2,3] is solved by instantiating the variables p and s to lists so that their concatenation results in the list [1,2,3] The basic...
Cited by: More
Time Equations for Lazy Functional (Logic) Languages - Albert, Silva, Vidal (Correct)
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Operational Semantics for Lazy Functional Logic Programs - Albert, Hanus, Huch.. (2002) (Correct)
Similar documents (at the sentence level):
57.4%: A Deterministic Operational Semantics for Functional.. - Albert, Hanus, Huch, .. (2002) (Correct)
34.0%: Operational Semantics for Functional Logic Languages - Albert, Hanus, Huch.. (2002) (Correct)
Active bibliography (related documents): More All
0.4: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
0.4: Symbolic Profiling for Multi-Paradigm Declarative Languages - Albert, Vidal (2002) (Correct)
0.3: Run-Time Profiling of - Functional Logic Programs (Correct)
Similar documents based on text: More All
0.8: A Practical Method for Program Specialization in a.. - Albert, Hanus, Vidal (2000) (Correct)
0.7: Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) (Correct)
0.7: An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Lucas (2000) (Correct)
Related documents from co-citation: More All
5: ectiveness of Partial Evaluation in Functional Logic Languages (context) - Albert, Antoy et al.
5: Cost-Augmented Narrowing-Driven Specialization - Vidal - 2002
4: A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
BibTeX entry: (Update)
E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages. Technical report, 2002. Available from URL: http://www.dsic.upv.es/users/elp/papers.html. http://citeseer.ist.psu.edu/article/albert02operational.html More
@misc{ albert02operational,
author = "E. Albert and M. Hanus and F. Huch and J. Oliver and G. Vidal",
title = "An Operational Semantics for Declarative Multi-Paradigm Languages",
text = "E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. An Operational Semantics
for Declarative Multi-Paradigm Languages. Technical report, 2002. Available
from URL: http://www.dsic.upv.es/users/elp/papers.html.",
year = "2002",
url = "citeseer.ist.psu.edu/article/albert02operational.html" }
Citations (may not include all citations):395 An Abstract Prolog Instruction Set (context) - Warren - 1983
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 2000
114 A Natural Semantics for Lazy Evaluation - Launchbury - 1993
114 Programming Paradigms of the Andorra Kernel Language - Janson, Haridi - 1991
69 Higher-Order Extensions to Prolog -- Are they needed (context) - Warren - 1982
54 A Unified Computation Model for Functional and Logic Program.. (context) - Hanus - 1997
51 Deriving a Lazy Abstract Machine - Sestoft - 1997
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
48 A logical operational semantics of full Prolog (context) - Borger - 1990
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
48 Encapsulated Search for Higher-Order Concurrent Constraint P.. - Schulte, Smolka - 1994
48 A logical operational semantics of full Prolog (context) - Borger - 1990
44 Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer - 1999
28 Compiling Multi-Paradigm Declarative Programs into Prolog - Antoy, Hanus - 2000
22 Operational Semantics of Constraint Logic Programs with Coro.. - Podelski, Smolka - 1995
22 Formally Based Profiling for Higher-Order Functional Languag.. - Sansom, Peyton-Jones - 1997
12 ectiveness of Partial Evaluation in Functional Logic Languag.. (context) - Albert, Antoy et al. - 2001
12 Constructor-based Conditional Narrowing - Antoy - 2001
11 Cost-Augmented Narrowing-Driven Specialization - Vidal - 2002
11 TOY: A Multiparadigm Declarative System (context) - Lopez-Fraguas, Sanchez-Hernandez - 1999
7 An Abstract Machine Based System for a Lazy Narrowing Calcul.. (context) - Hortala-Gonzalez, Ullan - 2001
7 Symbolic Profiling of Multi-Paradigm Declarative Languages - Albert, Vidal - 2002
6 An Approach to Declarative Programming based on a Rewriting .. (context) - Gonzalez-Moreno, Hortala-Gonzalez et al. - 1999
5 An Operational Semantics for Declarative Multi-Paradigm Lang.. - Albert, Hanus et al. - 2002
http://www.informatik.uni-kiel.de/~mh/curry/
Documents on the same site (http://www.dsic.upv.es/users/elp/german/papers.html): More
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Forward Slicing by Partial Evaluation - Vidal (Correct)
Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (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