Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, German Vidal  Home/Search
Context Related
| dsic.upv.es/users/elp/germa...paper.pdf 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: dsic.upv.es/users/elp/ge...papers (more) Homepages: G.Vidal |
Rate this article:      (best)Comment on this article |
Abstract: Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, non-determinism, search strategies). Usually, these languages also include interfaces to external functions as well as to constraint solvers. In this work, we introduce the first formal description of an operational semantics for realistic multi-paradigm languages covering all the aforementioned features in a precise... (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):
14.1%: A Deterministic Operational Semantics for Functional.. - Albert, Hanus, Huch, .. (2002) (Correct)
Active bibliography (related documents): More All
1.1: Operational Semantics for Functional Logic Languages - Albert, Hanus, Huch.. (2002) (Correct)
0.4: Run-Time Profiling of - Functional Logic Programs (Correct)
0.3: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Similar documents based on text: More All
0.9: A Practical Method for Program Specialization in a.. - Albert, Hanus, Vidal (2000) (Correct)
0.8: A Practical Partial Evaluator for a Multi-Paradigm.. - Albert, Hanus, Vidal (2001) (Correct)
0.8: A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) (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
@inproceedings{ ahhov02,
author = "Elvira Albert and Michael Hanus and Frank Huch
and Javier Olvier and Germ\'an Vidal",
title = "An Operational Semantics for Declarative Multi-Paradigm
Languages",
booktitle = "Proc.\ of the Int'l Workshop on Reduction Strategies
in Rewriting and Programming (WRS 2002)",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier Science Publishers",
volume = 70,
number = 6,
year = 2002,
url = "citeseer.ist.psu.edu/article/albert02operational.html" }
Citations (may not include all citations):171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 2000
114 Programming Paradigms of the Andorra Kernel Language - Janson, Haridi - 1991
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 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 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
48 Encapsulated Search for Higher-Order Concurrent Constraint P.. - Schulte, Smolka - 1994
44 Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer - 1999
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodrguez-Artalejo - 1992
22 Formally Based Profiling for HigherOrder Functional Language.. - Sansom, Peyton-Jones - 1997
22 Operational Semantics of Constraint Logic Programs with Coro.. - Podelski, Smolka - 1995
12 Constructor-based Conditional Narrowing - Antoy - 2001
12 ectiveness of Partial Evaluation in Functional Logic Languag.. (context) - Albert, Antoy et al. - 2042
12 Mathematical Structures in Computer Science (context) - Habel, Plump et al. - 1996
11 TOY: A Multiparadigm Declarative System (context) - Lopez-Fraguas, Sanchez-Hernandez - 1999
11 Cost-Augmented Narrowing-Driven Specialization - Vidal - 2002
9 A Practical Partial Evaluation Scheme for Multi-Paradigm Dec.. - Albert, Hanus et al. - 2002
8 Admissible Graph Rewriting and Narrowing (context) - Echahed, Janodet - 1998
7 Operational Semantics for Functional Logic Languages - Albert, Hanus et al. - 2002
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
http://www.informatik.uni-kiel.de/~mh/curry/
Documents on the same site (http://www.dsic.upv.es/users/elp/german/papers.html): More
Forward Slicing by Partial Evaluation - Vidal (Correct)
Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (Correct)
A Deterministic Operational Semantics for Functional.. - Albert, Hanus, Huch, .. (2002) (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