Sciweavers

22358 search results - page 219 / 4472
» Software Performance Engineering
Sort
View
UIST
2000
ACM
15 years 11 months ago
Illusions of infinity: feedback for infinite worlds
George W. Furnas, Xiaolong Zhang
AADEBUG
2000
Springer
15 years 11 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
AC
2000
Springer
15 years 11 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
AC
2000
Springer
15 years 11 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien