Presents fundamental concepts in discrete structures that are used in computer science. Topics include sets ... advanced code generation, control-and data-flow analysis, advanced compiler optimization ...