Sciweavers

1715 search results - page 129 / 343
» Domain-Specific Program Checking
Sort
View
JOT
2010
99views more  JOT 2010»
13 years 9 months ago
A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
Jennifer Pandolfo, Cui Zhang
ECOOP
1998
Springer
14 years 3 months ago
Flexible Alias Protection
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
James Noble, Jan Vitek, John Potter
ISSTA
1991
ACM
14 years 2 months ago
Dynamic Slicing in the Presence of Unconstrained Pointers
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...
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spa...
ISSTA
2012
ACM
12 years 1 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 11 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur