6960 search results - page 491 / 1392 » Continuity Analysis of Programs |
153
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
147
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
158
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
197
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
153
click to vote
SERP
2004
15 years 7 months ago
2004
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...