1107 search results - page 61 / 222 » XAIRA : software for language analysis |
116
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
124
click to vote
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
118
Voted
IWPSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
SCAM
2006
IEEE
15 years 6 months 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...
178
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...