Sciweavers

4719 search results - page 469 / 944
» Newtonian program analysis
Sort
View
TAP
2007
Springer
113views Hardware» more  TAP 2007»
16 years 28 days ago
Combining Static and Dynamic Reasoning for Bug Detection
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
Yannis Smaragdakis, Christoph Csallner
SCAM
2006
IEEE
16 years 25 days ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
CSCW
2006
ACM
16 years 24 days ago
Interruptions on software teams: a comparison of paired and solo programmers
This study explores interruption patterns among software developers who program in pairs versus those who program solo. Ethnographic observations indicate that interruption length...
Jan Chong, Rosanne Siino
IWPC
2005
IEEE
16 years 12 days ago
Adding Control-Flow to a Visual Data-Flow Representation
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...
David Dearman, Anthony Cox, Maryanne Fisher
ACMMSP
2005
ACM
99views Hardware» more  ACMMSP 2005»
16 years 11 days ago
Gated memory control for memory monitoring, leak detection and garbage collection
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
Chen Ding, Chengliang Zhang, Xipeng Shen, Mitsunor...