MENDEL(ID:4213/men001)

Prolog Based Concurrent Object Oriented Language ICOT Japan 1985

Structures:
Related languages
MENDEL => MENDEL/88   Evolution of
References:
  • HONIDEN, S., UCHIHIRA, N., AND KASUYA, T. 1985. "MENDEL: Prolog Based Concurrent Object Oriented Language", ICOT Technical Memorandum: TM-0144, Tokyo, Japan. view details
  • Uchihira Naoshi, Fujihara Mutumi, Iijima Tadashi, Honiden Shinichi "Concurrent progamming language's using Petri net and Temporal Logic" view details Abstract: A concurrent programming language, called MENDEL/88, are proposed. MENDEL/88 is designed for the program synthesis. The MENDEL net, which is a restricted Petri net, automatically generated from MENDEL/88 source programs. The MENDEL net provides a semantics of MENDEU/88. The MENDEL/88 program has the body parts and the synchronization parts. The synchronization part is synthesized from temporal logic specifications.

          in IPSJ SIGNotes Programming Language No.017 - 002 view details