Operational semantics for declarative multi-paradigm languages

Declarative multi-paradigm languages combine the most important features of functional, logic and concurrent programming. The computational model of such integrated languages is usually based on a combination of two different operational principles: narrowing and residuation. This work is motivated...

Full description

Bibliographic Details

Published in:	Journal of symbolic computation Vol. 40; no. 1; pp. 795 - 829
Main Authors:	Albert, Elvira, Hanus, Michael, Huch, Frank, Oliver, Javier, Vidal, Germán
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.07.2005
Subjects:	Functional logic programming Operational semantics Operational semantics Functional logic programming
ISSN:	0747-7171, 1095-855X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!