4719 search results - page 160 / 944 » Newtonian program analysis |
101
click to vote
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
143
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
133
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
132
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
132
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...