1016 search results - page 20 / 204 » Automatic Analysis of Programming Assignments |
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
111
Voted
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
92
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
107
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
144
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...