Sciweavers

11909 search results - page 110 / 2382
» The Scheme Programming Language
Sort
View
95
Voted
IFIP
1994
Springer
15 years 6 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
82
Voted
IFIP
1994
Springer
15 years 6 months ago
Linear-Time Algorithms in Memory Hierarchies
Kenneth W. Regan