Sciweavers

10871 search results - page 201 / 2175
» A stable programming language
Sort
View
ESOP
2008
Springer
15 years 4 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...
APLAS
2010
ACM
15 years 2 months ago
A Provably Correct Stackless Intermediate Representation for Java Bytecode
Delphine Demange, Thomas P. Jensen, David Pichardi...
102
Voted
ICALP
2010
Springer
15 years 1 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
IFIP
2010
Springer
15 years 29 days ago
A Privacy Enhancing Architecture for Collaborative Working Environments
Jasone Astorga, Purificación Sáiz, E...