Sciweavers

19 search results - page 1 / 4
» aplas 2010
Sort
View
APLAS
2010
ACM
13 years 9 months ago
A Quick Tour of the VeriFast Program Verifier
Bart Jacobs, Jan Smans, Frank Piessens
APLAS
2010
ACM
13 years 9 months ago
A Provably Correct Stackless Intermediate Representation for Java Bytecode
Delphine Demange, Thomas P. Jensen, David Pichardi...
APLAS
2010
ACM
13 years 6 months ago
Liveness of Communicating Transactions (Extended Abstract)
Edsko de Vries, Vasileios Koutavas, Matthew Hennes...