4340 search results - page 500 / 868 » Formal Methods and Cryptography |
169
click to vote
IFL
2005
Springer
16 years 7 days ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
143
click to vote
IFL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
181
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
160
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
217
click to vote
FMCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...