Mendels: Concurrent program synthesis system using temporal logic

Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationLogic Programming 1987 - Proceedings of the 6th Conference
PublisherSpringer-Verlag
Pages50-68
Number of pages19
ISBN (Print)9783540194262
DOIs
Publication statusPublished - 1988 Jan 1
Externally publishedYes
Event6th Conference on Logic Programming, 1987 - Tokyo, Japan
Duration: 1987 Jun 221987 Jun 24

Publication series

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

Other

Other6th Conference on Logic Programming, 1987
CountryJapan
CityTokyo
Period87/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)

Cite this

Uchihira, N., Matsumoto, K., Honiden, S., & Nakamura, H. (1988). Mendels: Concurrent program synthesis system using temporal logic. In 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. 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 proceedingConference contribution

Uchihira, N, Matsumoto, K, Honiden, S & Nakamura, H 1988, Mendels: Concurrent program synthesis system using temporal logic. in 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 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 -