• DocumentCode
    2837226
  • Title

    Dataflow analysis of Prolog programs

  • Author

    Joshi, V.N. ; Unwalla, P.F.

  • Author_Institution
    Dept. of Comput. Sci., Bombay Univ., India
  • fYear
    1989
  • fDate
    22-24 Nov 1989
  • Firstpage
    556
  • Lastpage
    558
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    TENCON '89. Fourth IEEE Region 10 International Conference
  • Conference_Location
    Bombay
  • Type

    conf

  • DOI
    10.1109/TENCON.1989.177001
  • Filename
    177001
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2837226