Name compatible modifications
  • operational semantics -- no extra compile/run-time checks
  procedure search(name, module)
  if name = action then do action
  elsif inherited = nil
  	       then undefined
  else search(name, inherited)
slide: The inheritance search algorithm