367 search results - page 2 / 74 » Partial evaluation of machine code |
SCAM
2008
IEEE
13 years 11 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...
TIC
1998
Springer
13 years 9 months ago
1998
Springer
SEUS
2005
IEEE
13 years 10 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
WCET
2007
13 years 6 months ago
2007
Tracing the flow of control in code generated from switchÂcase statements is difficult for static program analysis  tools  when  the  code  contains Â...
LOPSTR
1992
Springer
13 years 9 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...