Search Sciweavers | Sciweavers

10666 search results - page 165 / 2134

» Quantum programming languages

click to vote

POPL
2005
ACM

96views Programming Languages» more POPL 2005»

Scalable error detection using boolean satisfiability

14 years 10 months ago

Download www.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

click to vote

POPL
2005
ACM

89views Programming Languages» more POPL 2005»

Policy framings for access control

14 years 10 months ago

Download www.di.unipi.it

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

click to vote

POPL
2004
ACM

119views Programming Languages» more POPL 2004»

A semantics for web services authentication

14 years 10 months ago

Download research.microsoft.com

Andrew D. Gordon, Cédric Fournet, Karthikey...

claim paper

Read More »

click to vote

POPL
2004
ACM

104views Programming Languages» more POPL 2004»

The space cost of lazy reference counting

14 years 10 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

click to vote

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers