Sciweavers

11345 search results - page 193 / 2269
» Foundations of Computer Science
Sort
View
TLCA
1997
Springer
15 years 10 months ago
Typed Intermediate Languages for Shape Analysis
Gianna Bellè, Eugenio Moggi