8132 search results - page 268 / 1627 » Dependability, Abstraction, and Programming |
134
click to vote
ESOP
2010
Springer
16 years 4 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...
153
Voted
ATAL
2007
Springer
16 years 26 days 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...
198
click to vote
LCPC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
179
click to vote
MPC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
169
click to vote
PRICAI
2004
Springer
16 years 1 days 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...