Search Sciweavers | Sciweavers

10935 search results - page 172 / 2187

» Neural Programming Language

112

click to vote

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Hunting Trojan Horses

16 years 16 days ago

Download www.ece.neu.edu

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

claim paper

Read More »

132

click to vote

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

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

16 years 15 days ago

Download main.metaprl.org

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

claim paper

Read More »

128

click to vote

PLDI
2006
ACM

83views Programming Languages» more PLDI 2006»

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

16 years 15 days ago

Download research.microsoft.com

M. Anton Ertl, Kevin Casey, David Gregg

claim paper

Read More »

120

click to vote

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

16 years 15 days ago

Download research.microsoft.com

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

claim paper

Read More »

155

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers