2343 search results - page 30 / 469 » Structure and Interpretation of Computer Programs |
SAC
2006
ACM
15 years 8 months ago
2006
ACM
IPPS
1993
IEEE
15 years 6 months ago
1993
IEEE
129
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
137
click to vote
FCCM
1997
IEEE
15 years 6 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
102
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...