This paper identifies high-level program properties that can be discovered by static analysis in a compiler front end, and that are useful for classical low-level optimizations. We suggest how intermediate language code could be annotated to convey these properties to the code generator
We consider some issues in optimizing persistent programming languages. In partic-ular, we show how ...
Many portable compilers generate an intermediate code that is subsequently translated into the targe...
AbstractThe execution time of object oriented programs can be drastically reduced by transforming “n...
AbstractThis paper identifies high-level program properties that can be discovered by static analysi...
Every compiler passes code through several stages, each a sort of mini- compiler of its own. Thus...
Abstract. As processor complexity increases compilers tend to deliver subopti-mal performance. Libra...
Abstract. As processor complexity increases compilers tend to deliver subopti-mal performance. Libra...
This paper discusses the features of an annotation language that we believe to be essential for opti...
The goal of our work is to create tools that an analyst can use to understand the workings of COTS c...
A number of design criteria for intermediate languages are proposed. The intermediate language is v...
Abstract The goal of our work is to create tools that an analyst can use tounderstand the workings o...
Many retargetable production compilers use some form on intermediate code for applying global optimi...
International audienceThis paper presents a technique for representing the high level semantics of p...
The front end of a compiler is generally responsible for creating an intermediate representation of ...
We introduce an annotated type system for a compiler intermediate language. The type system is desig...
We consider some issues in optimizing persistent programming languages. In partic-ular, we show how ...
Many portable compilers generate an intermediate code that is subsequently translated into the targe...
AbstractThe execution time of object oriented programs can be drastically reduced by transforming “n...
AbstractThis paper identifies high-level program properties that can be discovered by static analysi...
Every compiler passes code through several stages, each a sort of mini- compiler of its own. Thus...
Abstract. As processor complexity increases compilers tend to deliver subopti-mal performance. Libra...
Abstract. As processor complexity increases compilers tend to deliver subopti-mal performance. Libra...
This paper discusses the features of an annotation language that we believe to be essential for opti...
The goal of our work is to create tools that an analyst can use to understand the workings of COTS c...
A number of design criteria for intermediate languages are proposed. The intermediate language is v...
Abstract The goal of our work is to create tools that an analyst can use tounderstand the workings o...
Many retargetable production compilers use some form on intermediate code for applying global optimi...
International audienceThis paper presents a technique for representing the high level semantics of p...
The front end of a compiler is generally responsible for creating an intermediate representation of ...
We introduce an annotated type system for a compiler intermediate language. The type system is desig...
We consider some issues in optimizing persistent programming languages. In partic-ular, we show how ...
Many portable compilers generate an intermediate code that is subsequently translated into the targe...
AbstractThe execution time of object oriented programs can be drastically reduced by transforming “n...