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...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of symbolic computation Ročník 40; číslo 1; s. 795 - 829
Hlavní autoři:	Albert, Elvira, Hanus, Michael, Huch, Frank, Oliver, Javier, Vidal, Germán
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.07.2005
Témata:	Functional logic programming Operational semantics Operational semantics Functional logic programming
ISSN:	0747-7171, 1095-855X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!