Compiler Design

  title={Compiler Design},
  author={Reinhard Wilhelm and Dieter Maurer},
  booktitle={Springer Berlin Heidelberg},
Edge Effects of Call Edges In analogy to the concrete semantics we define, as a first step, for each complete lattice D, for monotonic edge effects [[k]] , and for monotonic functions enter and combine the abstract transformation effected by a same-level computation: [[π k]] = [[k]] ◦ [[π ]] for a normal edge k [[π1 〈f〉π2 〈/f〉]] = H ([[π2]] ) ◦ [[π1]] for a procedure f where the transformation 
Highly Cited
This paper has 71 citations. REVIEW CITATIONS


Citations per Year

71 Citations

Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.