975 search results - page 82 / 195 » Declarative Aspect-Oriented Programming |
100
click to vote
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
ATAL
1999
Springer
15 years 2 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...