FORMAL METHODS Prolog April 2 & 6, 2015 Jayaraman Formal Methods Programming Languages Imperative Declarative Procedural Data Abstraction C … Objects Modules Ada ……