Ensuring efficiently the integrity of persistent object systems via abstract interpretation - Benzaken, V.; Schaefer, X. (PERSISTENT OBJECT SYSTEMS -CONFERENCE-)