Mendels: Concurrent program synthesis system using temporal logic

Naoshi Uchihira; Kazunori Matsumoto; Shinichi Honiden; Hideo Nakamura

doi:10.1007/3-540-19426-6_4

Mendels: Concurrent program synthesis system using temporal logic

Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura

国際理工学センター（理工学術院）

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE.

本文言語	English
ホスト出版物のタイトル	Logic Programming 1987 - Proceedings of the 6th Conference
編集者	Hozumi Tanaka, Koichi Furukawa, Tetsunosuke Fujisaki
出版社	Springer Verlag
ページ	50-68
ページ数	19
ISBN（印刷版）	9783540194262
DOI	https://doi.org/10.1007/3-540-19426-6_4
出版ステータス	Published - 1988
イベント	6th Conference on Logic Programming, 1987 - Tokyo, Japan 継続期間: 1987 6 22 → 1987 6 24

出版物シリーズ

名前	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻	315 LNCS
ISSN（印刷版）	0302-9743
ISSN（電子版）	1611-3349

Other

Other	6th Conference on Logic Programming, 1987
Country	Japan
City	Tokyo
Period	87/6/22 → 87/6/24

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

文献へのアクセス

10.1007/3-540-19426-6_4

フィンガープリント「Mendels: Concurrent program synthesis system using temporal logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル

Uchihira, N., Matsumoto, K., Honiden, S., & Nakamura, H. (1988). Mendels: Concurrent program synthesis system using temporal logic. In H. Tanaka, K. Furukawa, & T. Fujisaki (Eds.), Logic Programming 1987 - Proceedings of the 6th Conference (pp. 50-68). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 315 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-19426-6_4

Mendels : Concurrent program synthesis system using temporal logic. / Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo.

Logic Programming 1987 - Proceedings of the 6th Conference. ed. / Hozumi Tanaka; Koichi Furukawa; Tetsunosuke Fujisaki. Springer Verlag, 1988. p. 50-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 315 LNCS).

研究成果: Conference contribution

Uchihira, N, Matsumoto, K, Honiden, S & Nakamura, H 1988, Mendels: Concurrent program synthesis system using temporal logic. in H Tanaka, K Furukawa & T Fujisaki (eds), Logic Programming 1987 - Proceedings of the 6th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 315 LNCS, Springer Verlag, pp. 50-68, 6th Conference on Logic Programming, 1987, Tokyo, Japan, 87/6/22. https://doi.org/10.1007/3-540-19426-6_4

Uchihira N, Matsumoto K, Honiden S, Nakamura H. Mendels: Concurrent program synthesis system using temporal logic. In Tanaka H, Furukawa K, Fujisaki T, editors, Logic Programming 1987 - Proceedings of the 6th Conference. Springer Verlag. 1988. p. 50-68. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-19426-6_4

Uchihira, Naoshi ; Matsumoto, Kazunori ; Honiden, Shinichi ; Nakamura, Hideo. / Mendels : Concurrent program synthesis system using temporal logic. Logic Programming 1987 - Proceedings of the 6th Conference. editor / Hozumi Tanaka ; Koichi Furukawa ; Tetsunosuke Fujisaki. Springer Verlag, 1988. pp. 50-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e94d82ba016647cebe03d9be7b2100cd,

title = "Mendels: Concurrent program synthesis system using temporal logic",

abstract = "A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE.",

author = "Naoshi Uchihira and Kazunori Matsumoto and Shinichi Honiden and Hideo Nakamura",

note = "Funding Information: This research has been supported by the Japanese Fifth Generation Computer Project and its organizing institute ICOT. We would like to thank Toshio Yokoi, Hidenori Itoh, and Ryuzo Hasegawa of ICOT for their encouragement and support. We are also grateful to Seiichi Nishijima and Takeshi Kohno of Systems & Software Engineering Laboratory, TOSHIBA Corporation, for providing essential support.; 6th Conference on Logic Programming, 1987 ; Conference date: 22-06-1987 Through 24-06-1987",

year = "1988",

doi = "10.1007/3-540-19426-6_4",

language = "English",

isbn = "9783540194262",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "50--68",

editor = "Hozumi Tanaka and Koichi Furukawa and Tetsunosuke Fujisaki",

booktitle = "Logic Programming 1987 - Proceedings of the 6th Conference",

}

TY - GEN

T1 - Mendels

T2 - 6th Conference on Logic Programming, 1987

AU - Uchihira, Naoshi

AU - Matsumoto, Kazunori

AU - Honiden, Shinichi

AU - Nakamura, Hideo

N1 - Funding Information: This research has been supported by the Japanese Fifth Generation Computer Project and its organizing institute ICOT. We would like to thank Toshio Yokoi, Hidenori Itoh, and Ryuzo Hasegawa of ICOT for their encouragement and support. We are also grateful to Seiichi Nishijima and Takeshi Kohno of Systems & Software Engineering Laboratory, TOSHIBA Corporation, for providing essential support.

PY - 1988

Y1 - 1988

N2 - A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE.

AB - A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE.

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

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

U2 - 10.1007/3-540-19426-6_4

DO - 10.1007/3-540-19426-6_4

M3 - Conference contribution

AN - SCOPUS:85034808678

SN - 9783540194262

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 50

EP - 68

BT - Logic Programming 1987 - Proceedings of the 6th Conference

A2 - Tanaka, Hozumi

A2 - Furukawa, Koichi

A2 - Fujisaki, Tetsunosuke

PB - Springer Verlag

Y2 - 22 June 1987 through 24 June 1987

ER -