CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.

Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - IEEE Computer Society's International Computer Software & Applications Conference
出版社IEEE
ページ455-464
ページ数10
ISBN(印刷版)0818608064
出版ステータスPublished - 1987 12 1
外部発表はい

出版物シリーズ

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

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

フィンガープリント 「CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル