Sciweavers

24 search results - page 1 / 5
» esop 2008
Sort
View
ESOP
2008
Springer
14 years 11 months ago
A Theory of Hygienic Macros
David Herman, Mitchell Wand
ESOP
2008
Springer
14 years 11 months ago
Full Abstraction for Linda
Cinzia Di Giusto, Maurizio Gabbrielli
ESOP
2008
Springer
14 years 11 months ago
Verification of Equivalent-Results Methods
K. Rustan M. Leino, Peter Müller