Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Operational Semantics for Declarative Multi-Paradigm Languages
 

Summary: An Operational Semantics for
Declarative Multi-Paradigm Languages
E. Albert1
M. Hanus2
F. Huch2
J. Oliver1
G. 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. In this paper we define an operational semantics for func-
tional logic languages covering notions like laziness, sharing, concurrency,
non-determinism, etc. Such a semantics is not only important to provide
appropriate language definitions to reason 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. First, we
define a "big-step" semantics in natural style to relate expressions and

  

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