3736 search results - page 205 / 748 » Generative Programming |
129
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
126
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
133
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
143
click to vote
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...