Interprocedural Analysis of Concurrent Programs Under a Context Bound.

Akash Lal Tayssir Touili Nicholas Kidd Thomas W. Reps

Published in: TACAS (2008)

Keyphrases

lower bound
upper bound
general purpose
concurrent programs
database
artificial intelligence
information systems
mobile devices
business process