4719 search results - page 289 / 944 » Newtonian program analysis |
132
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
136
click to vote
JOT
2007
15 years 5 months ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
152
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
134
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
176
click to vote
PLDI
2009
ACM
16 years 24 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...