Sciweavers

10666 search results - page 123 / 2134
» Quantum programming languages
Sort
View
PLDI
1995
ACM
15 years 10 months ago
Elimination of Redundant Array Subscript Range Checks
Priyadarshan Kolte, Michael Wolfe
ASPLOS
1991
ACM
15 years 9 months ago
Process Coordination with Fetch-and-Increment
Eric Freudenthal, Allan Gottlieb
CTCS
1991
Springer
15 years 9 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria