6554 search results - page 996 / 1311 » Constraint Logic Programming |
119
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
135
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
276
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
166
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
120
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...