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

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.'. Together they form a unique fingerprint.

  • 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). (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference). IEEE.