947 search results - page 93 / 190 » Declarative Programming in Prolog |
163
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
PADL
2007
Springer
15 years 3 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
ASP
2003
Springer
15 years 1 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
GC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...