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 -