Displaying 3 results from an estimated 3 matches for "mariza".
Did you mean:
maria
2011 Mar 23
3
[LLVMdev] Range Analysis GSoC 2011 Proposal
...ts/RangeAnalysis/RangeAnalysis.paper.pdf
)
5. Constant propagation with conditional branches. Mark N. Wegman and F.
Kenneth Zadeck, In ACM Transactions on Programming Languages and Systems
(TOPLAS), 181-210, 1991.
6. Efficient SSI Conversion. André Luiz C. Tavares, Fernando Magno Quintão
Pereira, Mariza A. S. Bigonha and Roberto S. Bigonha. Simpósio Brasileiro de
Linguagens de Programação. 2010.
7. ABCD: eliminating array bounds checks on demand, Rajkslav Bodik, Rajiv
Gupta and Vivek Sarkar, In Proceedings of the SIGPLAN conference on
Programming Language Design and Implementation, 2000.
Contact...
2011 Mar 23
0
[LLVMdev] Range Analysis GSoC 2011 Proposal
...df>)
>
> 5. Constant propagation with conditional branches. Mark N. Wegman and
> F. Kenneth Zadeck, In ACM Transactions on Programming Languages and
> Systems (TOPLAS), 181-210, 1991.
>
> 6. Efficient SSI Conversion.André Luiz C. Tavares, Fernando Magno
> Quintão Pereira, Mariza A. S. Bigonha and Roberto S. Bigonha. Simpósio
> Brasileiro de Linguagens de Programação. 2010.
>
> 7. ABCD: eliminating array bounds checks on demand, Rajkslav Bodik,
> Rajiv Gupta and Vivek Sarkar, In Proceedings of the SIGPLAN conference
> on Programming Language Design and Imp...
2011 Mar 24
1
[LLVMdev] Range Analysis GSoC 2011 Proposal
On Wed, Mar 23, 2011 at 6:24 PM, John Criswell <criswell at illinois.edu> wrote:
>
> > On 3/23/11 8:06 AM, Douglas do Couto Teixeira wrote:
> >
> > the execution of a program. Thus, for each integer variable, a range
> > analysis determines its lower and upper limits. A very simple range analysis
> > > would, for instance, map each variable to the limits