3 search results - page 1 / 1 » Modular Decompilation of Low-Level Code by Partial Evaluatio... |
SCAM
2008
IEEE
13 years 10 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
ICCL
1998
IEEE
13 years 8 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...