3634 search results - page 269 / 727 » The Field Representation Language |
187
click to vote
CC
2005
Springer
16 years 6 days 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...
304
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
154
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
172
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
132
click to vote
TSD
1999
Springer
15 years 11 months ago
1999
Springer
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...