12334 search results - page 6 / 2467 » The Use of C |
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
ACMSE
2009
ACM
14 years 1 months ago
2009
ACM
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
TSE
2002
13 years 9 months ago
2002
This is the first empirical study of the use of the C macro preprocessor, Cpp. To determine how the
JUCS
2010
13 years 8 months ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.