Passive code in synchronous programs.
Jens BrandtKlaus SchneiderYu BaiPublished 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