V.Thangadurai, Dr.K.P.Yadav , Dr.K.Krishnamoorthy
Software functional programming is a a style of building the structure and elements of computer programs, that treats computation as the evaluation of mathematical functions and avoids state and mutable data. Functional programming emphasizes functions that produce results that depend only on their inputs and not on the program state - i.e. pure mathematical functions. It is a declarative programming paradigm, which means programming is done with expressions. Analysis of functional and imperative programs has the potential to contribute to the control of quality of software. Internal attributes, such as structural properties, measured in the static analysis, are claimed to have a correlation with external at-tributes, such as comprehensibility, maintainability and testability. Tradition-ally, static analysis and related tools focuses mainly on programs written in imperative programming languages. This paper focuses on comparative analysis on various types of models which can be used for both functional and non functional programming.