Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.

db/conf/pos/BenzakenS96.html Véronique Benzaken Xavier Schaefer Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. 72-87 POS/1996/P072.pdf 1996 POS db/conf/pos/pos96.html#BenzakenS96