Login / Signup
Modular monadic slicing of concurrent programs.
Yingzhou Zhang
Baowen Xu
Ju Qian
Published in:
IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
</>
concurrent programs
concurrent programming
process algebra
deductive databases
datalog queries
web applications
concurrent processes
machine learning
high level
database
artificial intelligence
general purpose
reverse engineering
formal specification
datalog programs