Sciweavers

10575 search results - page 80 / 2115
» T2Script Programming Language
Sort
View
135
Voted
IFIP
1994
Springer
15 years 10 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
116
Voted
IFIP
1994
Springer
15 years 10 months ago
Linear-Time Algorithms in Memory Hierarchies
Kenneth W. Regan