Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Run-Time Profiling of Functional Logic Programs
 

Summary: Run-Time Profiling of
Functional Logic Programs
B. Brassel1
, M. Hanus1
, F. Huch1
, J. Silva2
, and G. Vidal2
1
Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany.
{bb,mh,fhu}@informatik.uni-kiel.de
2
DSIC, Tech. University of Valencia, Camino de Vera s/n, E-46022 Valencia, Spain.
{jsilva,gvidal}@dsic.upv.es
Abstract. In this work, we introduce a profiling scheme for modern
functional logic languages covering notions like laziness, sharing, and
non-determinism. Firstly, we instrument a natural (big-step) semantics
in order to associate a symbolic cost to each basic operation (e.g., variable
updates, function unfoldings, case evaluations). While this cost semantics
provides a formal basis to analyze the cost of a computation, the imple-
mentation of a cost-augmented interpreter based on it would introduce

  

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