3 search results - page 1 / 1 » Modular Decompilation of Low-Level Code by Partial Evaluatio... |
SCAM
2008
IEEE
14 years 2 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 12 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
14 years 17 days 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 ...