5235 search results - page 597 / 1047 » Analysis of Multithreaded Programs |
181
Voted
APLAS
2005
ACM
16 years 1 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
211
click to vote
ICTCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
208
Voted
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
236
click to vote
ICALP
1994
Springer
15 years 11 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
198
Voted
DISCO
1992
15 years 11 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...