18 search results - page 3 / 4 » Completeness Analysis for Incomplete Object-Oriented Program... |
IJCAI
2007
13 years 6 months ago
2007
Although there are some research efforts toward resource allocation in multi-agent systems (MAS), most of these work assume that each agent has complete information about other ag...
OOPSLA
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
ICISS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
ACSC
2005
IEEE
13 years 11 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...