Sciweavers

10666 search results - page 433 / 2134
» Quantum programming languages
Sort
View
ICALP
1992
Springer
15 years 11 months ago
Reductions to Sets of Low Information Content
Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, J...
PLDI
1990
ACM
15 years 11 months ago
How to Read Floating-Point Numbers Accurately
Converting decimal scientific notation into binary floating point is nontrivial, but this conversion can be performed with the best possible accuracy without sacrificing efficienc...
William D. Clinger
POPL
1990
ACM
15 years 11 months ago
The Chemical Abstract Machine
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
Gérard Berry, Gérard Boudol
POS
1990
Springer
15 years 11 months ago
Persistence and Type Abstraction Revisited
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, ...
APLAS
2007
ACM
15 years 10 months ago
A Probabilistic Applied Pi-Calculus
Abstract. We propose an extension of the Applied Pi
Jean Goubault-Larrecq, Catuscia Palamidessi, Angel...