In fact, it turns out that no sensible … [Basic-Block]-structure remains. Rather, we will demonstrate that edge-labeled [single-instruction]-graphs, which model … adequate, both for the theoretical reasoning about and … consequences for the design of compiler systems. … [p. 66] edge-labeled graphs allow us to use nodes … graphs require separate means and operational overhead. …
Google-1
Google-2
Copyright clearance needed for quotation.