3889 search results - page 583 / 778 » The Use of Program Dependence Graphs in Software Engineering |
110
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
120
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
123
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
149
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
150
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...