Assuring and evolving concurrent programs: annotations and policy.

Aaron Greenhouse William L. Scherlis

Published in: ICSE (2002)

Keyphrases

concurrent programs
web applications
optimal policy
concurrent programming
metadata
process algebra
databases
machine learning
database systems
object oriented
software engineering
knowledge acquisition
fine grained
concurrent systems