797 search results - page 105 / 160 » MODULA-2 and Its Compilation |
89
Voted
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
CGO
2003
IEEE
15 years 3 months ago
2003
IEEE
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...
SCAM
2003
IEEE
15 years 3 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...