A tasking deadlock detector for Ada programs.

Jingde Cheng Yoshiaki Kasahara Kazuo Ushijima

Published in: COMPSAC (1991)

Keyphrases

feature selection
database systems
computer programs
machine learning
information retrieval
image processing
website
case study
search algorithm
logic programming
automatic programming