Passive code in synchronous programs.

Jens Brandt Klaus Schneider Yu Bai

Published in: ACM Trans. Embed. Comput. Syst. (2014)

Keyphrases

java programs
error handling
source code
computer programs
program code
concurrent programs

database
program slicing
text files
control flow
information retrieval

concurrent programming
legacy software
error correcting
control program
asynchronous communication

provably correct
fixpoint
artificial intelligence
learning algorithm
data sets