Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Deterministic Operational Semantics for Functional Logic Programs
 

Summary: A Deterministic Operational Semantics
for Functional Logic Programs
Elvira Albert1
Michael Hanus2
Frank Huch2
Javier Oliver1
Germ´an Vidal1
1
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{ealbert,fjoliver,gvidal}@dsic.upv.es
2
Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany
{mh,fhu}@informatik.uni-kiel.de
Abstract. This paper introduces a deterministic operational semantics
for functional logic programs including notions like laziness, sharing, con-
currency, non-deterministic functions, etc. Our semantic description is
important not only to provide appropriate language definitions to rea-
son about programs and check the correctness of implementations but
it is also a basis to develop language-specific tools, like program tracers,
profilers, optimizers, etc. Starting from a "big-step" semantics in natural

  

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