Correctness of Automated Distribution of Sequential Programs.

Cyrille Bareau Benoît Caillaud Claude Jard René Thoraval

Published in: PARLE (1993)

Keyphrases

provably correct
probability distribution
fully automated
semi automated
computer programs
data sets
probabilistic model
random variables
distribution function
database
markov chain
computer aided
concurrency control
density function
sequential data
automated analysis