21 search results - page 3 / 5 » Practical Context-Sensitive CFI |
BIRTHDAY
2007
Springer
13 years 12 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
ERCIMDL
1998
Springer
13 years 10 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
CC
2012
Springer
12 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
APCCM
2006
13 years 7 months ago
2006
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...