4719 search results - page 162 / 944 » Newtonian program analysis |
141
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
110
Voted
EDM
2009
15 years 1 months ago
2009
The monitoring and support of university freshmen is considered very important at many educational institutions. In this paper we describe the results of the educational data minin...
162
click to vote
APLAS
2011
ACM
14 years 4 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
139
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...