10072 search results - page 1471 / 2015 » Composition of Model Programs |
178
click to vote
FSTTCS
2004
Springer
16 years 14 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
211
click to vote
PET
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
181
click to vote
SAT
2004
Springer
16 years 13 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
183
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
145
click to vote
AOSD
2003
ACM
16 years 10 days ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...