Sciweavers

27119 search results - page 44 / 5424
» Languages
Sort
View
ESOP
2007
Springer
15 years 8 months ago
The Java Memory Model: Operationally, Denotationally, Axiomatically
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...
122
Voted
ESOP
2007
Springer
15 years 8 months ago
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
Adrian Francalanza, Matthew Hennessy
99
Voted
PADL
2007
Springer
15 years 8 months ago
Inductive Logic Programming by Instance Patterns
Chongbing Liu, Enrico Pontelli