4340 search results - page 354 / 868 » Formal Methods and Cryptography |
157
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
156
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
168
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
190
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
189
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...