Self-stabilization preserving compiler.

Shlomi Dolev Yinnon A. Haviv Mooly Sagiv

Published in: ACM Trans. Program. Lang. Syst. (2009)

Keyphrases

programming language
general purpose
databases
software systems
video stabilization
artificial intelligence
database systems
expert systems
highly optimized