Search Sciweavers | Sciweavers

10666 search results - page 174 / 2134

» Quantum programming languages

click to vote

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Hunting Trojan Horses

14 years 4 months ago

Download www.ece.neu.edu

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

claim paper

Read More »

click to vote

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

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

14 years 4 months ago

Download main.metaprl.org

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

claim paper

Read More »

click to vote

PLDI
2006
ACM

83views Programming Languages» more PLDI 2006»

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

14 years 4 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

14 years 4 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers