182 search results - page 1 / 37 » The Secret Art of Computer Programming |
ICTAC
2009
Springer
14 years 1 days ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
Book
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...
JFP
2002
13 years 5 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
EDBT
2008
ACM
14 years 5 months ago
2008
ACM
Recent concerns about privacy issues motivated data mining researchers to develop methods for performing data mining while preserving the privacy of individuals. However, the curr...
PODC
2006
ACM
13 years 11 months ago
2006
ACM
