4081 search results - page 562 / 817 » The Impact of Constraint Programming |
154
click to vote
SIGSOFT
2005
ACM
16 years 6 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...
155
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
143
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
297
click to vote
CP
2009
Springer
16 years 6 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...
181
click to vote
TLDI
2010
ACM
16 years 2 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...