Papers by Sébastien PRAUD
Lecture Notes in Computer Science, 1999
. We address the problem of statically proving, at compilation time, whether the executionof a gi... more . We address the problem of statically proving, at compilation time, whether the executionof a given transaction m is safe w.r.t. a dynamical integrity constraint in the framework ofobject oriented database systems. To do so, we formalize dynamical constraints with first orderLinear Temporal Logic formulae and we use predicate transformer " la Dijkstra", combinedwith automatic demonstration.RSUM. Nous tudions le problme
Uploads
Papers by Sébastien PRAUD