TY - GEN
T1 - CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.
AU - Uchihira, Naoshi
AU - Kasuya, Toshiaki
AU - Matsumotot, Kazunori
AU - Honiden, Shinichi
PY - 1987/12/1
Y1 - 1987/12/1
N2 - A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.
AB - A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.
UR - http://www.scopus.com/inward/record.url?scp=0023600464&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0023600464&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0023600464
SN - 0818608064
T3 - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference
SP - 455
EP - 464
BT - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference
PB - IEEE
ER -