3404 search results - page 239 / 681 » C Programming Tutorial |
105
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
99
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
131
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
115
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
110
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers. Hard economic reality is that many interesting opti...