281 search results - page 12 / 57 » A functional logic database library |
147
click to vote
DASFAA
2009
IEEE
15 years 12 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
153
Voted
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
134
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
128
Voted
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
143
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...