1023 search results - page 152 / 205 » A Formal Method for Program Slicing |
113
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
130
click to vote
IFL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
105
Voted
FPL
2006
Springer
15 years 5 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
143
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...