16190 search results - page 374 / 3238 » Applicative programming with effects |
117
click to vote
SIAMMAX
2010
14 years 11 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
103
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...
124
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
148
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
134
click to vote
PRICAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...