On Holy Wars

Can be hard to believe they ever get resolved.

Examples:

• Structured programming vs. goto

• Subroutines vs. no subroutines

• High-level languages vs. Assembly language

• Formal verification and proof techniques useful?

• Strong typing

Next

Copyright © 1999 M-J. Dominus