Use of Static Analysis During Program Development

E.I. Marakakis (Greece)


Soft computing, logic programming, software tools, static analysis, mode inference, minimal function graphs.


Mode analysis in logic programs has been used mainly for code optimization. The mode analysis in this paper is used during program construction. It is also applied to partially complete logic programs. The aim of the analysis is to check that the declared modes as defined by the Data Type (DT) operations are consistent with the inferred runtime modes. We have implemented an algorithm for mode anal ysis based on minimal function graphs. The denotational semantics of minimal function graphs analysis framework are presented in this paper.

Important Links:

Go Back