Search Sciweavers | Sciweavers

1251 search results - page 21 / 251

» Optimizing Compilation of CLP(R)

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

14 years 9 months ago

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

click to vote

POPL
2006
ACM

134views Programming Languages» more POPL 2006»

A verifiable SSA program representation for aggressive compiler optimization

14 years 8 months ago

Download www.cs.cmu.edu

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...

claim paper

Read More »

click to vote

ECOOPW
2007
Springer

62views Distributed And Parallel Com...» more ECOOPW 2007»

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

14 years 2 months ago

Download iv.tu-berlin.de

Olivier Zendra, Eric Jul, Roland Ducournau, Etienn...

claim paper

Read More »

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

14 years 2 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

CASES
2006
ACM

132views System Software» more CASES 2006»

Compiler optimization of embedded applications for an adaptive SoC architecture

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers