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.