3889 search results - page 234 / 778 » The Use of Program Dependence Graphs in Software Engineering |
119
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
115
click to vote
VISSOFT
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
130
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
132
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
129
click to vote
IAJIT
2010
15 years 3 months ago
2010
: The heterogeneous and dynamic nature of components making up a web application, the lack of effective programming mechanisms for implementing basic software engineering principle...