877 search results - page 36 / 176 » Annotated Revision Programs |
KI
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
IWPC
2008
IEEE
14 years 3 months ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
JOLLI
2008
13 years 9 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...