Analysis of sequential PROLOG programs

Rikio Onai; Hajime Shimizu; Kanae Masuda; Moritoshi Aso

doi:10.1016/0743-1066(86)90019-1

Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	119-141
Number of pages	23
Journal	The Journal of Logic Programming
Volume	3
Issue number	2
DOIs	https://doi.org/10.1016/0743-1066(86)90019-1
Publication status	Published - 1986
Externally published	Yes

ASJC Scopus subject areas

Logic

Access to Document

10.1016/0743-1066(86)90019-1

Cite this

@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

SN - 0743-1066

VL - 3

SP - 119

EP - 141

JO - Journal of Logic Programming

JF - Journal of Logic Programming

IS - 2

ER -

Analysis of sequential PROLOG programs

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this