4370 search results - page 328 / 874 » Algebra of Logic Programming |
135
click to vote
ENTCS
2002
15 years 2 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
154
click to vote
FAC
2007
15 years 3 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
109
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
137
click to vote
FPCA
1995
15 years 6 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
129
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...