TY - GEN
T1 - Software prototyping with MENDEL
AU - Honiden, Shinichi
AU - Uchihira, Naoshi
AU - Kasuya, Toshiaki
PY - 1986/1/1
Y1 - 1986/1/1
N2 - Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.
AB - Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.
UR - http://www.scopus.com/inward/record.url?scp=85034739646&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034739646&partnerID=8YFLogxK
U2 - 10.1007/3-540-16479-0_11
DO - 10.1007/3-540-16479-0_11
M3 - Conference contribution
AN - SCOPUS:85034739646
SN - 9783540164791
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 108
EP - 116
BT - Logic Programming '85 - Proceedings of the 4th Conference
PB - Springer-Verlag
T2 - 4th International Conference on Logic Programming, 1985
Y2 - 1 July 1985 through 3 July 1985
ER -