3256 search results - page 213 / 652 » Mixin-Based Programming in C |
132
click to vote
QSIC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
134
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
100
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...
122
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...