411 search results - page 38 / 83 » Algebraic Imperative Specifications |
115
click to vote
ACTA
2010
15 years 2 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
119
click to vote
JFP
2008
15 years 1 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
105
click to vote
JLP
2006
15 years 1 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
126
click to vote
JUCS
2006
15 years 1 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
110
click to vote
NJC
2006
15 years 1 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...