Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Semantics for Tracing Declarative Multi-Paradigm Programs
 

Summary: A Semantics for Tracing
Declarative Multi-Paradigm Programs

B. Brassel M. Hanus F. Huch
Institut f¨ur Informatik
CAU Kiel, Olshausenstr. 40
D-24098 Kiel, Germany
{bbr,mh,fhu}@informatik.uni-kiel.de
G. Vidal
DSIC, Technical University of Valencia
Camino de Vera s/n, E-46022 Valencia, Spain
Phone: +34.96.3877350 / Fax: +34.96.3877359
gvidal@dsic.upv.es
ABSTRACT
We introduce the theoretical basis for tracing lazy functional
logic computations in a declarative multi-paradigm language
like Curry. Tracing computations is a difficult task due to
the subtleties of the underlying operational semantics which
combines laziness and non-determinism. In this work, we
define an instrumented operational semantics that gener-

  

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