Declarative programming languages advocate a programming style expressing the
properties of problems and their solutions rather than how to compute individual solutions …

Functional logic programming languages combine the most important declarative
programming paradigms, and attempts to combine these paradigms have a long history. The …

Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early research …

Declarative multi-paradigm languages combine the most important features of functional,
logic and concurrent programming. The computational model of such integrated languages …

This paper describes a high-level implementation of the concurrent constraint functional
logic language Curry. The implementation, directed by the lazy pattern matching strategy of …

Partial evaluation is an automatic technique for program optimization which preserves
program semantics. The range of its potential applications is extremely large, as witnessed …

Partial evaluation is a semantics-based program optimization technique which has been
investigated within different programming paradigms and applied to a wide variety of …

A logical framework is a general meta-language for specifying and implementing deductive
systems, given by axioms and inference rules. Based on a higher-order logic programming …

Program slicing is a well-known technique that extracts from a program those statements
which are relevant to a particular criterion. While static slicing does not consider any input …

We propose a framework to construct web-oriented user interfaces in a high-level way by
exploiting declarative programming techniques. Such user interfaces are intended to …