Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)119-141
Number of pages23
JournalThe Journal of Logic Programming
Volume3
Issue number2
DOIs
Publication statusPublished - 1986
Externally publishedYes

Fingerprint

Static Analysis
Output

ASJC Scopus subject areas

  • Logic

Cite this

Analysis of sequential PROLOG programs. / Onai, Rikio; Shimizu, Hajime; Masuda, Kanae; Aso, Moritoshi.

In: The Journal of Logic Programming, Vol. 3, No. 2, 1986, p. 119-141.

Research output: Contribution to journalArticle

Onai, R, Shimizu, H, Masuda, K & Aso, M 1986, 'Analysis of sequential PROLOG programs', The Journal of Logic Programming, vol. 3, no. 2, pp. 119-141. https://doi.org/10.1016/0743-1066(86)90019-1
Onai, Rikio ; Shimizu, Hajime ; Masuda, Kanae ; Aso, Moritoshi. / Analysis of sequential PROLOG programs. In: The Journal of Logic Programming. 1986 ; Vol. 3, No. 2. pp. 119-141.
@article{ca4eca6cbf3c49d4b22e2b3a51ae4b05,
title = "Analysis of sequential PROLOG programs",
abstract = "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.",
author = "Rikio Onai and Hajime Shimizu and Kanae Masuda and Moritoshi Aso",
year = "1986",
doi = "10.1016/0743-1066(86)90019-1",
language = "English",
volume = "3",
pages = "119--141",
journal = "Journal of Logic Programming",
issn = "0743-1066",
publisher = "Elsevier BV",
number = "2",

}

TY - JOUR

T1 - Analysis of sequential PROLOG programs

AU - Onai, Rikio

AU - Shimizu, Hajime

AU - Masuda, Kanae

AU - Aso, Moritoshi

PY - 1986

Y1 - 1986

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=5844340653&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=5844340653&partnerID=8YFLogxK

U2 - 10.1016/0743-1066(86)90019-1

DO - 10.1016/0743-1066(86)90019-1

M3 - Article

AN - SCOPUS:5844340653

VL - 3

SP - 119

EP - 141

JO - Journal of Logic Programming

JF - Journal of Logic Programming

SN - 0743-1066

IS - 2

ER -