Sciweavers

10666 search results - page 174 / 2134

» Quantum programming languages

70

Voted

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Hunting Trojan Horses

15 years 8 months ago

Hunting Trojan Horses

Download www.ece.neu.edu

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

claim paper

Read More »

95

Voted

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

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

15 years 8 months ago

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

Download main.metaprl.org

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

claim paper

Read More »

91

Voted

PLDI
2006
ACM

83views Programming Languages» more PLDI 2006»

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

15 years 8 months ago

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

Download research.microsoft.com

M. Anton Ertl, Kevin Casey, David Gregg

claim paper

Read More »

79

Voted

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

15 years 8 months ago

Download research.microsoft.com

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

claim paper

Read More »

110

Voted

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 8 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

« Prev « First page 174 / 2134 Last » Next »