284 search results - page 19 / 57 » A Semantic Analysis of C Templates |
172
Voted
PLDI
2006
ACM
16 years 3 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
162
Voted
SAC
2005
ACM
15 years 11 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
159
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
162
Voted
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
171
Voted
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...