See this document in CiteSeerX!

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (1999)  (Make Corrections)  (1 citation)
Michael Hanus, Salvador Lucas
Proc. of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99)



  Home/Search   Context   Related

 
View or download:
informatik.unikiel.de/...FLOPS99.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  informatik.unikiel.de/~mh/pub... (more)
Homepages:  M.Hanus  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We introduce a denotational characterization of narrowing, the computational engine of many functional logic languages. We use a functional domain for giving a denotation to the narrowing space associated to a given initial expression under an arbitrary narrowing strategy. Such a semantic description highlights... (Update)

Context of citations to this paper:   More

.... whenever an expression becomes ground during a narrowing derivation, simpler and more efficient) rewriting can be safely used instead (see [HL99], where our techniques have been partially used for the semantic description and analysis of functional logic languages) Given...

Cited by:   More
Observable Semantics and Dynamic Analysis of Computational Processes - Lucas (2000)   (Correct)

Similar documents (at the sentence level):
54.3%:   An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Salvador (2001)   (Correct)

Active bibliography (related documents):   More   All
0.6:   Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal   (Correct)
0.5:   Algebraic Correctness Proofs for Compiling Recursive Function .. - Indermark, Noll (2004)   (Correct)
0.2:   The Integration of Functions into Logic Programming: A Survey - Hanus (1994)   (Correct)

Similar documents based on text:   More   All
0.6:   Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999)   (Correct)
0.5:   Parallel Evaluation Strategies for Functional Logic Languages - Antoy, Echahed, Hanus (1997)   (Correct)
0.5:   Specialization of Inductively Sequential Functional.. - Alpuente, Hanus, Lucas, .. (1999)   (Correct)

BibTeX entry:   (Update)

M. Hanus and S. Lucas. A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. In A. Middeldorp and T. Sato, editors, Proc. of 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, LNCS 1722:353-368, 1999. http://citeseer.ist.psu.edu/hanus99semantics.html   More

@inproceedings{ hanus99semantics,
    author = "Michael Hanus and Salvador Lucas",
    title = "A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages",
    booktitle = "Proc. of the 4th Fuji International Symposium on Functional and Logic 
      Programming (FLOPS'99)",
    series = "LNCS",
    volume = "1722",
    pages = "353--368",
    year = "1999",
    url = "citeseer.ist.psu.edu/hanus99semantics.html" }
Citations (may not include all citations):
353   Term Rewriting and All That (context) - Baader, Nipkow - 1998
214   Domains for Denotational Semantics (context) - Scott - 1982
171   A needed narrowing strategy - Antoy, Echahed et al. - 1994
152   Semantics of Programming Languages (context) - Gunter - 1992
112   Initial Algebra Semantics and Continuous Algebras (context) - Goguen, Thatcher et al. - 1977
87   Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
75   Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
73   Topology via Logic (context) - Vickers - 1989
61   The theory and practice of transforming call-by-need into ca.. (context) - Mycroft - 1980
38   Lectures on a mathematical theory of computation (context) - Scott - 1981
36   A Uni ed Computation Model for Functional and Logic Programm.. (context) - Hanus - 1997
35   Logic programming with functions and predicates: the languag.. (context) - Moreno-Navarro, Rodr - 1992
18   Canonical forms and uni cation (context) - Hullot - 1980
11   An approach to declarative programming based on a rewriting .. (context) - Gonz, Hortal et al. - 1999
10   Inverse Image Analysis Generalises Strictness Analysis (context) - Dybjer - 1991
10   and Kan Extensions (context) - Abramsky, Logical - 1990
8   Denotational Abstract Interpretation of Functional Logic Pro.. (context) - Zartmann - 1997
6   Mathematical Theory of Domains (context) - Stoltenberg-Hansen, Lindstr et al. - 1994
4   Towards the Global Optimization of Functional Logic Programs - Hanus - 1994
3   Mode Analysis of Functional Logic Programs (context) - Hanus, Zartmann - 1994
2   Theoretical Computer Science (context) - de Bakker, Points - 1976
2   Analyses of Unsatis ability for Equational Logic Programming (context) - Alpuente, Falaschi et al. - 1995
2   cient Lazy Narrowing using Demandedness Analysis (context) - Moreno-Navarro, Kuchen et al. - 1993

Documents on the same site (http://www.informatik.uni-kiel.de/~mh/publications/papers/):   More
Distributed Programming in a Multi-Paradigm Declarative Language - Hanus (1999)   (Correct)
Server Side Web Scripting in Curry - Hanus (2000)   (Correct)
Higher-Order Narrowing with Definitional Trees - Hanus (1999)   (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