4940 search results - page 527 / 988 » On the Complexity of Universal Programs |
342
click to vote
Book
"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...
278
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
259
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
277
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
162
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...