CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.

Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.

Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages455-464
Number of pages10
ISBN (Print)0818608064
Publication statusPublished - 1987 Dec 1
Externally publishedYes

Fingerprint

Temporal logic
Software prototyping
Specifications
Computer software reusability
Object oriented programming
Supervisory personnel
Computer programming languages
Synchronization

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Uchihira, N., Kasuya, T., Matsumotot, K., & Honiden, S. (1987). CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 455-464). IEEE.

CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC. / Uchihira, Naoshi; Kasuya, Toshiaki; Matsumotot, Kazunori; Honiden, Shinichi.

Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1987. p. 455-464.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Uchihira, N, Kasuya, T, Matsumotot, K & Honiden, S 1987, CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC. in Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, pp. 455-464.
Uchihira N, Kasuya T, Matsumotot K, Honiden S. CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE. 1987. p. 455-464
Uchihira, Naoshi ; Kasuya, Toshiaki ; Matsumotot, Kazunori ; Honiden, Shinichi. / CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1987. pp. 455-464
@inproceedings{f778b98e0381493e8f33432318046c35,
title = "CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.",
abstract = "A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.",
author = "Naoshi Uchihira and Toshiaki Kasuya and Kazunori Matsumotot and Shinichi Honiden",
year = "1987",
month = "12",
day = "1",
language = "English",
isbn = "0818608064",
pages = "455--464",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "IEEE",

}

TY - GEN

T1 - CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.

AU - Uchihira, Naoshi

AU - Kasuya, Toshiaki

AU - Matsumotot, Kazunori

AU - Honiden, Shinichi

PY - 1987/12/1

Y1 - 1987/12/1

N2 - A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.

AB - A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.

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

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

M3 - Conference contribution

AN - SCOPUS:0023600464

SN - 0818608064

SP - 455

EP - 464

BT - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

PB - IEEE

ER -