Lecture Notes, Week 10

• A syntax checker for a basic imperative language
  • Goal
  • Mandatory exercises
  • Recommended exercises
  • Resources
  • A syntax checker for a basic imperative language
  • BNF of the basic imperative language
  • Operationalizing the BNF of the basic imperative language
  • Starting point: the skeleton
  • Tracing and untracing facilities
  • Implementing the BNF: the ground constructors
  • Samples of well-formed things
  • Implementing the BNF: the ground predicates
  • Implementing the BNF: the ground accessors
  • Tracing and untracing facilities, continued
  • Testing well-formedness
  • A generic testing procedure to test well-formed things
  • Testing well-formed literals
  • Testing well-formed references
  • Testing well-formed expressions
  • Testing well-formed commands
  • Testing well-formed programs
  • Testing all well-formed things at once
  • Silent or verbose?
  • The compound predicates
  • A predicate for literals
  • A more substantial sample of well-formed literals
  • A predicate for references
  • A more substantial sample of well-formed references
  • First cut at the predicate for expressions
  • The case of constants
  • The case of dereferences
  • The case of unary operations
  • The case of binary operations
  • First cut at the predicate for commands
  • The case of the skip command
  • The case of sequences
  • The case of assignments
  • The case of conditional commands
  • The case of while commands
  • The case of switch commands
  • Exercise 8
  • The predicate for programs
  • Reaping what we sowed
  • Testing ill-formedness
  • Samples of ill-formed things
  • A generic testing procedure to test ill-formed things
  • Testing ill-formed literals
  • Testing ill-formed references
  • Testing ill-formed expressions
  • Testing ill-formed commands
  • Testing ill-formed programs
  • Testing all ill-formed things at once
  • Reaping what we sowed (continued)
  • Exercise 9
  • Testing everything at once
  • Reaping what we sowed (ended)
  • Resources
  • Version
• On designing programming languages
  • Goal
  • Mandatory exercises
  • Recommended exercises
  • Resources
  • A prototypical imperative language
  • Exercise 10
  • Expressiveness
  • Analysis
  • Checkpoint
  • Resources
  • Version