Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation

Véronique Benzaken, Xavier Schaefer. Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. In POS. pages 72-87, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: