7 Concrete Semantics Standard concrete semantics for a program in the underlying language State S = (pc, stack, heap, local_variables, global_variables) Instrumented program state –Additional stack w of dynamically held roles –Stack alphabet Σ := B(R)  transition of instrumented concrete semantics from configuration to configuration Operations that affect instrumentations are only method calls and returns
{}