1401 search results - page 126 / 281 » Tool Integration for Reasoned Programming |
105
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
Mashups – web applications that integrate multiple data sources or APIs into one interface – have attracted considerable attention in recent years. The availability of web-bas...
157
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
121
click to vote
OOPSLA
2010
Springer
15 years 26 days ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
239
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
166
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...