Sciweavers

10666 search results - page 198 / 2134
» Quantum programming languages
Sort
View
ECOOP
2005
Springer
14 years 21 days ago
The Essence of Data Access in Comega
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
ECOOP
2008
Springer
14 years 16 days ago
UpgradeJ: Incremental Typechecking for Class Upgrades
Gavin M. Bierman, Matthew J. Parkinson, James Nobl...
ESOP
2008
Springer
14 years 16 days ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
ESOP
2008
Springer
14 years 16 days ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...
APLAS
2010
ACM
13 years 11 months ago
A Provably Correct Stackless Intermediate Representation for Java Bytecode
Delphine Demange, Thomas P. Jensen, David Pichardi...