Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 22 pages
 

Summary: Electronic Notes in Theoretical Computer Science 70 No. 6 (2002)
URL: http://www.elsevier.nl/locate/entcs/volume70.html 22 pages
An Operational Semantics for Declarative
Multi-Paradigm Languages
Elvira Albert1
Michael Hanus2
Frank Huch2
Javier Oliver3
Germ´an Vidal3
1 DSIP, UCM, Avda. Complutense s/n, E-28040 Madrid, Spain
elvira@fdi.ucm.es
2 Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany
{mh,fhu}@informatik.uni-kiel.de
3 DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{fjoliver,gvidal}@dsic.upv.es
Abstract
Practical declarative multi-paradigm languages combine the main features of func-
tional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic
variables, non-determinism, search strategies). Usually, these languages also in-
clude interfaces to external functions as well as to constraint solvers. In this work,

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Hanus, Michael - Institut für Informatik, Christian-Albrechts-Universität Kiel
Vidal, Germán - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences