Xavier Schaefer

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Véronique Benzaken, Xavier Schaefer
Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT (1998)
Véronique Benzaken, Xavier Schaefer
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP (1997)
Véronique Benzaken, Xavier Schaefer
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS (1996)
Véronique Benzaken, Xavier Schaefer
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA (1996)
Véronique Benzaken, Anne Doucet, Xavier Schaefer
Integrity constraint checking optimization based on abstract interpretation. BDA (1994)