Search Sciweavers | Sciweavers

10935 search results - page 172 / 2187

» Neural Programming Language

108

click to vote

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Hunting Trojan Horses

16 years 11 days ago

Download www.ece.neu.edu

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

claim paper

Read More »

128

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 11 days ago

Download main.metaprl.org

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

claim paper

Read More »

123

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 11 days ago

Download research.microsoft.com

M. Anton Ertl, Kevin Casey, David Gregg

claim paper

Read More »

117

Voted

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

16 years 11 days ago

Download research.microsoft.com

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

claim paper

Read More »

154

Voted

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers