18 search results - page 2 / 4 » scam 2006 |
SCAM
2006
IEEE
14 years 7 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
SCAM
2006
IEEE
14 years 7 days ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
SCAM
2006
IEEE
14 years 7 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
SCAM
2006
IEEE
14 years 7 days ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
SCAM
2006
IEEE
14 years 7 days ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...