1023 search results - page 119 / 205 » A Formal Method for Program Slicing |
118
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
169
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
100
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
100
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...