Meeting Notes: 11.01.22

TODOS

• Refactoring:
  • concrete example: widening -> states_at_loop_head = widen(states_at_loop_head,states_after_body)
  • variable names
• update presentation slides
• implement:
  • Exception Handling: justAList, justAInt
  • trait ATest
  • case class AIf
  • case class AWhile
  • case class AAssert
  • Updated concrete example with this components