8232 search results - page 468 / 1647 » Dynamic Logic Programming |
218
click to vote
EUROPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
220
click to vote
CLIMA
2007
15 years 9 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
175
click to vote
CSUR
1999
15 years 7 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
267
click to vote
IWPSE
2003
IEEE
16 years 26 days ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
193
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...