750 search results - page 49 / 150 » Declarative event-oriented programming |
RWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
JOT
2010
13 years 6 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...