4725 search results - page 309 / 945 » Dependence-Based Program Analysis |
175
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
193
click to vote
ESOP
2005
Springer
16 years 22 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
236
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
244
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
180
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Recognition of microbial pathogens by plants triggers the hypersensitive reaction, a common form of programmed cell death in plants. These dying cells generate signals...