Takeaways

  • abstractions for describing control flow

Anti-Takeaways

Describing everything in a flat manner leads to complexity.

All-in-one leads to accidental complexity. E.G. CPS is useful in Denotational Semantics, but is horrible for maintenance of “normal” applications that don’t need to create new kinds of control-flows.

See Also

  • Peter Lee “Realistic Compiler Generation”
  • Cordy Orthogonal Code Generation (see condition descriptors for control-flow normalization).

See Also

References
Table of Contents