313 search results - page 2 / 63 » Static analysis for syntax objects |
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
MMMACNS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
ICSM
2002
IEEE
13 years 10 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
WCRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...