The search functionality is under construction.
The search functionality is under construction.

Derivation of a Parallel Bottom-Up Parser from a Sequential Parser

Kazuko TAKAHASHI

  • Full Text Views

    0

  • Cite this

Summary :

This paper describes the derivation of a parallel program from a nondeterministic sequential program using a bottom-up parser as an example. The derivation procedure consists of two stages: exploitation of AND-parallelism and exploitation of OR-parallelism. An interpreter of the sequential parser BUP is first transformed so that processes for the nodes in a parsing tree can run in parallel. Then, the resultant program is transformed so that a nondeterministic search of a parsing tree can be done in parallel. The former stage is performed by hand-simulation, and the latter is accomplished by the compiler of ANDOR-, which is an AND/OR parallel logic programming language. The program finally derived, written in KL1 (Kernel Language of the FGCS Project), achieves an all-solution search without side effects. The program generated corresponds to an interpreter of PAX, a revised parallel version of BUP. This correspondence shows that the derivation method proposed in this paper is effective for creating efficient parallel programs.

Publication
IEICE TRANSACTIONS on Information Vol.E75-D No.6 pp.852-860
Publication Date
1992/11/25
Publicized
Online ISSN
DOI
Type of Manuscript
PAPER
Category
Software Theory

Authors

Keyword