Figure 17. Reduction rules for == List of Figures 1 Semantic objects 12 2 Reduction rules for == 13 3 De of a store 15 4 De of a semaphore 16 5 De of a sink and an emitter 18 6 Evaluation of an expression in == 19 7 Asymmetric continuation-passing styl (0)

by Luc Moreau