An Integrated Framework for Checking Concurrency-Related Programming Errors.

Qichang Chen Liqiang Wang

Published in: COMPSAC (1) (2009)

Keyphrases

programming language
database
database systems
general purpose
closely related
real time
concurrency control
neural network
genetic algorithm
case study
artificial neural networks
software systems
programming environments