5090 search results - page 527 / 1018 » Constructing Strategies for Programming |
160
click to vote
CCS
2004
ACM
16 years 11 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
161
click to vote
IWMM
2004
Springer
16 years 10 days ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
152
click to vote
LCPC
2004
Springer
16 years 10 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
198
click to vote
PEPM
2004
ACM
16 years 9 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
167
click to vote
SAS
2004
Springer
16 years 9 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...