Software prototyping with MENDEL

Shinichi Honiden; Naoshi Uchihira; Toshiaki Kasuya

doi:10.1007/3-540-16479-0_11

Software prototyping with MENDEL

Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya

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

Abstract

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.

Original language	English
Title of host publication	Logic Programming '85 - Proceedings of the 4th Conference
Editors	Eiiti Wada
Publisher	Springer Verlag
Pages	108-116
Number of pages	9
ISBN (Print)	9783540164791
DOIs	https://doi.org/10.1007/3-540-16479-0_11
Publication status	Published - 1986
Externally published	Yes
Event	4th International Conference on Logic Programming, 1985 - Tokyo, Japan Duration: 1985 Jul 1 → 1985 Jul 3

Publication series

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

Other

Other	4th International Conference on Logic Programming, 1985
Country/Territory	Japan
City	Tokyo
Period	85/7/1 → 85/7/3

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-16479-0_11

Cite this

Honiden, S., Uchihira, N., & Kasuya, T. (1986). Software prototyping with MENDEL. In E. Wada (Ed.), Logic Programming '85 - Proceedings of the 4th Conference (pp. 108-116). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-16479-0_11

Software prototyping with MENDEL. / Honiden, Shinichi; Uchihira, Naoshi; Kasuya, Toshiaki.
Logic Programming '85 - Proceedings of the 4th Conference. ed. / Eiiti Wada. Springer Verlag, 1986. p. 108-116 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS).

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

Honiden, S, Uchihira, N & Kasuya, T 1986, Software prototyping with MENDEL. in E Wada (ed.), Logic Programming '85 - Proceedings of the 4th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 221 LNCS, Springer Verlag, pp. 108-116, 4th International Conference on Logic Programming, 1985, Tokyo, Japan, 85/7/1. https://doi.org/10.1007/3-540-16479-0_11

@inproceedings{6479bf6d01d14de394b034935ea94754,

title = "Software prototyping with MENDEL",

abstract = "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.",

author = "Shinichi Honiden and Naoshi Uchihira and Toshiaki Kasuya",

note = "Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; 4th International Conference on Logic Programming, 1985 ; Conference date: 01-07-1985 Through 03-07-1985",

year = "1986",

doi = "10.1007/3-540-16479-0_11",

language = "English",

isbn = "9783540164791",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "108--116",

editor = "Eiiti Wada",

booktitle = "Logic Programming '85 - Proceedings of the 4th Conference",

}

TY - GEN

T1 - Software prototyping with MENDEL

AU - Honiden, Shinichi

AU - Uchihira, Naoshi

AU - Kasuya, Toshiaki

PY - 1986

Y1 - 1986

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

A2 - Wada, Eiiti

PB - Springer Verlag

T2 - 4th International Conference on Logic Programming, 1985

Y2 - 1 July 1985 through 3 July 1985

ER -

Software prototyping with MENDEL

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this