4469 search results - page 71 / 894 » Dynamic Program Slicing |
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
CAV
2008
Springer
13 years 9 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
UM
2005
Springer
14 years 1 months ago
2005
Springer
IFIP
2004
Springer
14 years 1 months ago
2004
Springer