18 search results - page 3 / 4 » Completeness Analysis for Incomplete Object-Oriented Program... |
150
click to vote
IJCAI
2007
15 years 7 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...
179
Voted
OOPSLA
1999
Springer
15 years 10 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...
151
click to vote
ICISS
2009
Springer
16 years 11 days 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...
211
click to vote
POPL
2010
ACM
16 years 3 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...
168
click to vote
ACSC
2005
IEEE
15 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...