2947 search results - page 152 / 590 » Analyzing Program Analyses |
214
click to vote
ISSTA
1991
ACM
15 years 9 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
185
Voted
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
137
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
156
click to vote
COCOA
2007
Springer
16 years 10 days ago
2007
Springer
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
153
click to vote
CSEE
2007
Springer
16 years 10 days ago
2007
Springer
An important problem faced by many Computer Science and Software Engineering programs is declining enrollment. In an effort to reverse that trend at Mississippi State University, ...