95 search results - page 1 / 19 » Intermediate Representations of Mobile Code |
INFORMATICASI
2008
13 years 4 months ago
2008
CC
2005
Springer
13 years 10 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
COMPSAC
2009
IEEE
13 years 5 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
ASM
2004
ASM
13 years 10 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
FPL
2006
Springer
13 years 8 months ago
2006
Springer
An intermediate representation (IR) is a central structure around which tools such as compilers and synthesis tools are built. In this paper we propose such an IR specifically des...