Sciweavers

10666 search results - page 165 / 2134
» Quantum programming languages
Sort
View
207
Voted
POPL
2005
ACM
16 years 3 months ago
Scalable error detection using boolean satisfiability
Yichen Xie, Alexander Aiken
206
Voted
POPL
2005
ACM
16 years 3 months ago
Policy framings for access control
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
194
Voted
POPL
2004
ACM
16 years 3 months ago
A semantics for web services authentication
Andrew D. Gordon, Cédric Fournet, Karthikey...
200
Voted
POPL
2004
ACM
16 years 3 months ago
The space cost of lazy reference counting
Hans-Juergen Boehm
186
Voted
POPL
2004
ACM
16 years 3 months ago
An abstract interpretation-based framework for software watermarking
Patrick Cousot, Radhia Cousot