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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Logic Programming 1987 - Proceedings of the 6th Conference
Editors	Hozumi Tanaka, Koichi Furukawa, Tetsunosuke Fujisaki
Publisher	Springer Verlag
Pages	50-68
Number of pages	19
ISBN (Print)	9783540194262
DOIs	https://doi.org/10.1007/3-540-19426-6_4
Publication status	Published - 1988
Externally published	Yes
Event	6th Conference on Logic Programming, 1987 - Tokyo, Japan Duration: 1987 Jun 22 → 1987 Jun 24

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	315 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

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

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-19426-6_4

Cite this

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 et al.
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).

Research output: Chapter in Book/Report/Conference proceeding › 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)). doi: 10.1007/3-540-19426-6_4

Uchihira, Naoshi ; Matsumoto, Kazunori ; Honiden, Shinichi et al. / 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 = "Publisher Copyright: {\textcopyright} 1988, Springer-Verlag.; 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

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 -

Mendels: Concurrent program synthesis system using temporal logic

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this