Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Symbolic Profiling for Multi-Paradigm Declarative Languages
 

Summary: Symbolic Profiling for Multi-Paradigm
Declarative Languages
Elvira Albert and Germ´an Vidal
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{ealbert,gvidal}@dsic.upv.es
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 difficult 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.
1 Introduction
Profiling tools, in general, are designed for assisting the programmer in the task

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Vidal, Germán - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences