Probabilistically Accurate Program Transformations.

Sasa Misailovic Daniel M. Roy Martin C. Rinard

Published in: SAS (2011)

Keyphrases

computationally efficient
program execution
information systems
highly accurate
control program
data sets
metadata
high quality
computer science
special case
object oriented
high accuracy
computer programs