Search Sciweavers | Sciweavers

1251 search results - page 21 / 251

» Optimizing Compilation of CLP(R)

245

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

16 years 5 months ago

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

219

click to vote

POPL
2006
ACM

134views Programming Languages» more POPL 2006»

A verifiable SSA program representation for aggressive compiler optimization

16 years 4 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

110

click to vote

ECOOPW
2007
Springer

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

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

15 years 10 months ago

Download iv.tu-berlin.de

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

claim paper

Read More »

114

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

15 years 10 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

115

click to vote

CASES
2006
ACM

132views System Software» more CASES 2006»

Compiler optimization of embedded applications for an adaptive SoC architecture

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers