33 search results - page 2 / 7 » fsttcs 2004 |
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
In this note we discuss some structural properties of minimum weight (pointed) pseudo-triangulations.
FSTTCS
2004
Springer
13 years 8 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
FSTTCS
2004
Springer
13 years 10 months 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...
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...