Concurrent Runtime Checking of Annotated Ada Programs.

David S. Rosenblum Sriram Sankar David C. Luckham

Published in: FSTTCS (1986)

Keyphrases

runtime environment
parallel computation
intermediate level
manually annotated
concurrent programming
concurrent programs
case study
advanced features
control structures
real time
data mining