Speculative Predication Across Arbitrary Interprocedural Control Flow.

Published in: LCPC (1999)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
transition systems
modeling language
artificial intelligence
software engineering
mobile agents
metamodel
formal semantics
business process models