Sciweavers

10871 search results - page 201 / 2175
» A stable programming language
Sort
View
ESOP
2008
Springer
14 years 17 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...
ICALP
2010
Springer
13 years 9 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
IFIP
2010
Springer
13 years 9 months ago
A Privacy Enhancing Architecture for Collaborative Working Environments
Jasone Astorga, Purificación Sáiz, E...