Principles Of Program Analysis

·1999·DOI
Engineering and Technology
Coffee Science
Software Engineering and Practices
Debugging and Reliability Techniques

Role in the Field

Neutralin Engineering and Technology
Neutralin Coffee Science
Neutralin Software Engineering and Practices
Neutralin Debugging and Reliability Techniques

Abstract

Citations

689

Year

1999

PageRank

3.7 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Partial Orders For Efficient Bounded Model Checking Of Concurrent Software
·2013·112 citations
How Programmers Debug, Revisited: An Information Foraging Theory Perspective
·2013·98 citations
A Semantic Rule Checking Environment For Building Performance Checking
·2011·198 citations
Control-flow Checking By Software Signatures
·2002·410 citations
Designing Programs That Check Their Work
·1995·214 citations
The Early History Of Smalltalk
·1993·136 citations
The Early History Of Smalltalk
·1993·102 citations
A Formal Model Of Program Dependences And Its Implications For Software Testing, Debugging, And Maintenance
·1990·278 citations
Designing Programs That Check Their Work
·1989·180 citations
A Probabilistic Model For Validation Of Behavioral Hierarchies
·1976·98 citations