8766 search results - page 353 / 1754 » Functional logic programming |
126
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
136
click to vote
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
127
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
120
click to vote
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
154
Voted
PVLDB
2011
14 years 10 months ago
2011
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...