1023 search results - page 121 / 205 » A Formal Method for Program Slicing |
SAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
100
click to vote
SAS
1997
Springer
15 years 5 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
141
click to vote
TYPES
1995
Springer
15 years 5 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
121
click to vote
FMSD
2002
15 years 1 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
158
click to vote
CORR
2010
Springer
15 years 5 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...