4719 search results - page 7 / 944 » Newtonian program analysis |
CIDR
2011
12 years 11 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
POPL
2001
ACM
14 years 7 months ago
2001
ACM
ESOP
2003
Springer
14 years 21 days ago
2003
Springer