Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Data Type
Partial Evaluation
Pattern Matching
Rewrite Systems
Related Publications
(18)
Symbolic Profiling for Multiparadigm Declarative Languages
Costaugmented narrowingdriven specialization
Formally based profiling for higherorder functional languages
Definitional Trees
Optimal Nondeterministic Functional Logic Computations
Subscribe
Academic
Publications
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages,10.1007/3540451420_7,Elvira Albert,Sergio Antoy,Germán Vidal
Edit
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
(
Citations: 19
)
BibTex

RIS

RefWorks
Download
Elvira Albert
,
Sergio Antoy
,
Germán Vidal
We introduce a framework for assessing the eectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models a functional logic pro gram. Consequently, our assessment is independent of any specic lan guage implementation or computing environment. We dene several cri teria for measuring the cost of a computation: number of steps, number of function applications, and
pattern matching
eort. Most importantly, we express the cost of each criterion by means of recurrence equations over algebraic data types, which can be automatically inferred from the par tial evaluation process itself. In some cases, the equations can be solved by transforming their arguments from arbitrary data types to natural numbers. In other cases, it is possible to estimate the improvement of a
partial evaluation
by analyzing the associated cost recurrence equations.
Conference:
Logic Program Synthesis and Transformation  LOPSTR
, pp. 103124, 2000
DOI:
10.1007/3540451420_7
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.informatik.unitrier.de
)
(
web.cecs.pdx.edu
)
(
users.dsic.upv.es
)
(
link.springer.de
)
More »
Citation Context
(12)
...There has been some promising initial work on cost models for logic and functional programs in [
1
, 2, 24, 4]. However, such a lowlevel cost model will depend on both the particular Prolog compiler and on the target architecture and it is hence unlikely that one can find an elegant mathematical model that is easy to manipulate and precise...
StephenJohn Craig
,
et al.
Selftuning resource aware specialisation for prolog
...For instance, one can instrument this semantics in order to count the costs (time/space) associated to particular computations (similarly to, e.g.,
Albert et al., 2001;
Albert and Vidal, 2002; Sansom and PeytonJones, 1997; Vidal, 2004)...
...This is useful, e.g., for proling (Albert and Vidal, 2002; Sansom and PeytonJones, 1997) and for formally checking the improvement achieved by program optimizations (
Albert et al., 2001;
Vidal, 2004)...
Elvira Albert
,
et al.
An Operational Semantics for Declarative MultiParadigm Languages
...Some promising initial work on cost models for logic and functional programming has already been made in (
Albert, Antoy and Vidal 2001,
Albert and Vidal 2001)...
Michael Leuschel
,
et al.
Logic program specialisation through partial deduction: Control issues
...A rst step towards a machineindependent way of assessing the eectiveness of partial evaluators has been taken by [
5
, 53]...
Elvira Albert
,
et al.
A Practical Partial Evaluation Scheme for MultiParadigm Declarative L...
...The complete operational description could be used, e.g., as a basis to deflne a costaugmented semantics in the style of [
1
,3,19,21], to develop debugging and optimization tools (like partial evaluators), and to check or derive new implementations (like in [20]) for Curry...
Elvira Albert
,
et al.
Operational Semantics for Functional Logic Languages
References
(32)
Using an Abstract Representation to Specialize Functional Logic Programs
(
Citations: 16
)
Elvira Albert
,
Michael Hanus
,
Germán Vidal
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming  LPAR(RCLP)
, pp. 381398, 2000
A Positive Supercompiler
(
Citations: 73
)
Morten Heine Sørensen
,
Robert Glück
,
Neil D. Jones
Journal:
Journal of Functional Programming  JFP
, vol. 6, no. 6, pp. 811838, 1996
Automatic Accurate TimeBound Analysis for HighLevel Languages
(
Citations: 60
)
Yanhong A. Liu
,
Gustavo Gomez
Conference:
Languages, Compilers, and Tools for Embedded Systems  LCTES
, pp. 3140, 1998
Tutorial on specialisation of logic programs
(
Citations: 149
)
John P. Gallagher
Conference:
Partial Evaluation and SemanticBased Program Manipulation  PEPM
, pp. 8898, 1993
The Integration of Functions into Logic Programming: From Theory to Practice
(
Citations: 317
)
Michael Hanus
Journal:
The Journal of Logic and Algebraic Programming  JLP
, vol. 19/20, pp. 583628, 1994
Sort by:
Citations
(19)
Selftuning resource aware specialisation for prolog
(
Citations: 19
)
StephenJohn Craig
,
Michael Leuschel
Conference:
Principles and Practice of Declarative Programming  PPDP
, pp. 2334, 2005
Time Equations for Lazy Functional (Logic) Languages
(
Citations: 1
)
Elvira Albert
,
Josep Silva
,
Germán Vidal
Conference:
APPIAGULPPRODE  AGP
, pp. 1324, 2003
An Operational Semantics for Declarative MultiParadigm Languages
(
Citations: 54
)
Elvira Albert
,
Michael Hanus
,
Frank Huch
,
Javier Oliver
,
Germán Vidal
Journal:
Electronic Notes in Theoretical Computer Science  ENTCS
, vol. 70, no. 6, 2002
Logic program specialisation through partial deduction: Control issues
(
Citations: 46
)
Michael Leuschel
,
Maurice Bruynooghe
Journal:
Theory and Practice of Logic Programming  TPLP
, vol. 2, no. 45, pp. 461515, 2002
A Practical Partial Evaluation Scheme for MultiParadigm Declarative Languages
(
Citations: 32
)
Elvira Albert
,
Michael Hanus
,
Germán Vidal
Journal:
Journal of Functional and Logic Programming  JFLP
, vol. 2002, 2002