Login / Signup
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