Correctness of Programs and Protocols through Randomization (Extended Abstract).

Michael O. Rabin

Published in: ASIAN (1997)

Keyphrases

extended abstract
provably correct
privacy preserving
databases
real world
logic programs
answer sets
computer programs
fixpoint
application level