Mendels: Concurrent program synthesis system using temporal logic

Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura

研究成果: Conference contribution

抄録

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
出版者Springer-Verlag
ページ50-68
ページ数19
ISBN(印刷物)9783540194262
DOI
出版物ステータスPublished - 1988 1 1
外部発表Yes
イベント6th Conference on Logic Programming, 1987 - Tokyo, Japan
継続期間: 1987 6 221987 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

Other6th Conference on Logic Programming, 1987
Japan
Tokyo
期間87/6/2287/6/24

Fingerprint

Program Synthesis
Temporal logic
Temporal Logic
Concurrent
Specification
Specifications
Intelligent Environments
Concurrent Programming
Programming Environments
Supervisory personnel
Propositional Logic
Computer programming languages
Programming Languages
Synchronization
Subsystem
Target
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Uchihira, N., Matsumoto, K., Honiden, S., & Nakamura, H. (1988). Mendels: Concurrent program synthesis system using temporal logic. : 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); 巻数 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. Springer-Verlag, 1988. p. 50-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 315 LNCS).

研究成果: Conference contribution

Uchihira, N, Matsumoto, K, Honiden, S & Nakamura, H 1988, Mendels: Concurrent program synthesis system using temporal logic. : 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), 巻. 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. : 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. 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",
year = "1988",
month = "1",
day = "1",
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",
booktitle = "Logic Programming 1987 - Proceedings of the 6th Conference",

}

TY - GEN

T1 - Mendels

T2 - Concurrent program synthesis system using temporal logic

AU - Uchihira, Naoshi

AU - Matsumoto, Kazunori

AU - Honiden, Shinichi

AU - Nakamura, Hideo

PY - 1988/1/1

Y1 - 1988/1/1

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

PB - Springer-Verlag

ER -