CS 342 Lecture -*- Outline -*- * The Algol 60 report ** Paradigm of brevity and clarity. ** syntax described in BNF (context-free grammar, formal) distinction among *** reference language (definition and guide for implementations) *** publication langauge (allows subscripts etc. for publications) *** hardware representations (condensed form with rules for transliteration) example: exponentiation: ^ in reference, raised in publication real literals: small 10 in ref, scientific in publ. e in hardware problem: translation from one hardware lang to another mechanical, but nontrivial (involves lexical analysis), may need new keywords (iff, implies) ** semantics described using English (informal, but precise)