Search Sciweavers | Sciweavers

10575 search results - page 150 / 2115

» Programming Languages

click to vote

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Hunting Trojan Horses

15 years 11 months ago

Download www.ece.neu.edu

Micha Moffie, Winnie Cheng, David R. Kaeli, Qin Zh...

claim paper

Read More »

111

Voted

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

15 years 11 months ago

Download main.metaprl.org

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylo...

claim paper

Read More »

109

click to vote

PLDI
2006
ACM

83views Programming Languages» more PLDI 2006»

Fast and flexible instruction selection with on-demand tree-parsing automata

15 years 11 months ago

Download research.microsoft.com

M. Anton Ertl, Kevin Casey, David Gregg

claim paper

Read More »

click to vote

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

15 years 11 months ago

Download research.microsoft.com

Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu,...

claim paper

Read More »

132

Voted

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers