Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

研究成果: Article査読

8 被引用数 (Scopus)

抄録

We consider the characteristics of sequential PROLOG programs using static and dynamic analyzers. They were developed to analyze ICOT-developed PROLOG programs and to collect various data items for studying program characteristics. Thirty-nine programs were statistically analyzed; two of these were also analyzed dynamically. The static analyzer is written in DEC-10 PROLOG. It simply reads a program from the beginning and outputs various types of information about the program. The dynamic analyzer is also written in DEC-10 PROLOG. It executes a program that can be executed in parallel by providing a goal for the program. During the execution, it collects various data including those obtained in the static analysis.

本文言語English
ページ(範囲)119-141
ページ数23
ジャーナルThe Journal of Logic Programming
3
2
DOI
出版ステータスPublished - 1986
外部発表はい

ASJC Scopus subject areas

  • Logic

フィンガープリント 「Analysis of sequential PROLOG programs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル