Title :
Dataflow analysis of Prolog programs
Author :
Joshi, V.N. ; Unwalla, P.F.
Author_Institution :
Dept. of Comput. Sci., Bombay Univ., India
Abstract :
Dataflow analysis, used by optimizing compilers, can be applied in the static analysis of Prolog programs. A general flow analysis algorithm is presented which can be used to derive predicatewise information about the input program. This algorithm has been specifically applied to solve the mode inference problem, but can also be used for other applications such as parallel execution, intelligent backtracking and garbage collection
Keywords :
PROLOG; logic programming; software engineering; Horn clauses; Prolog programs; dataflow analysis; garbage collection; intelligent backtracking; logic programs; mode inference; optimizing compilers; parallel execution; parameter passing; predicatewise analysis algorithm; Algorithm design and analysis; Computer science; Data analysis; Inference algorithms; Information analysis; Logic; Optimizing compilers; Performance analysis; Program processors; Runtime;
Conference_Titel :
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location :
Bombay
DOI :
10.1109/TENCON.1989.177001
