What’s next

• Integrate module system implementation in the front-end

  • Proper parsing, type checking

• Extensible static analysis

• Extend type checker to properties

• More work on translations to theorem provers

Previous slide

Back to first slide

View graphic version