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. POS 1996: 72-87

@inproceedings{DBLP:conf/pos/BenzakenS96,
  author    = {V{\'e}ronique Benzaken and
               Xavier Schaefer},
  title     = {Ensuring Efficiently the Integrity of Persistent Object Systems
               via Abstract Interpretation},
  booktitle = {POS},
  year      = {1996},
  pages     = {72-87},
  ee        = {db/conf/pos/BenzakenS96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An5-2 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Referenced by

David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412

Last update Fri May 25 08:33:05 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page