Academic
Publications
Symbolic Profiling for Multi-paradigm Declarative Languages

Symbolic Profiling for Multi-paradigm Declarative Languages,Elvira Albert,Germán Vidal

Symbolic Profiling for Multi-paradigm Declarative Languages   (Citations: 9)
BibTex | RIS | RefWorks Download
Abstract We present the basis of a source - level profiler for multi - paradigm declarative languages which integrate features from (lazy) func - tional and logic programming Our profiling scheme is symbolic in the sense that it is independent of the particular language implementation This is achieved by counting the number of basic operations performed during the execution of program calls, e g , the number of unfolding steps, the number of matching operations, etc The main contribution of this paper is the formal specification of the attribution of execution costs to cost centers , which is particularly di cult in the context of lazy languages A prototype implementation of the symbolic profiler has been undertaken for the multi - paradigm language Curry Preliminary results demonstrate the practicality of our approach and its applications in the field of program transformation
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.
    • ...There has been some promising initial work on cost models for logic and functional programs in [1, 2, 24, 4]. However, such a low-level 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...

    Stephen-John Craiget al. Self-tuning resource aware specialisation for prolog

    • ...This contrasts with [14], where logical features are not considered, and [2], where sharing is not covered (which drastically reduces its applicability)...
    • ...Following [2,14], in this work we take a more flexible approach which allows us to associate a cost center with any expression of interest...
    • ...The approaches closest to our work are [14] and [2]...
    • ...On the other hand, [2] introduces a symbolic profiling scheme for functional logic languages...
    • ...However, the approach of [2] does not consider sharing (an essential component of lazy languages) and, thus, it is not an appropriate basis for the development of profiling tools for current implementations of lazy functional logic languages...

    Bernd Brasselet al. Run-Time Profiling of Functional Logic Programs

    • ...There are several approaches in the literature to symbolic profiling (e.g., [5, 15])...

    Elvira Albertet al. Time Equations for Lazy Functional (Logic) Languages

    • ...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 Peyton-Jones, 1997; Vidal, 2004)...
    • ...This is useful, e.g., for proling (Albert and Vidal, 2002; Sansom and Peyton-Jones, 1997) and for formally checking the improvement achieved by program optimizations (Albert et al., 2001; Vidal, 2004)...

    Elvira Albertet al. An Operational Semantics for Declarative Multi-Paradigm Languages

    • ...The complete operational description could be used, e.g., as a basis to deflne a cost-augmented 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 Albertet al. Operational Semantics for Functional Logic Languages

Sort by: