PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION.

Makoto Amamiya, Ikuo Takeuchi, Hiroshi G. Okuno, Kohei Noshita

研究成果: Chapter

抜粋

This paper describes a newly designed programming language, FORMAL-2, and its processing system. The main features of FORMAL-2 are: (1) FORMAL-2 is data-type free, i. e. , data-types and operations over them are left unspecified in the kernel of the language. (2) Every procedure is declared and identified by its ″form″ , hence FORMAL-2 programs would be highly readable. (3) The nondeterministic expression proposed by R. W. Floyd may be used in an extended style. FORMAL-2 processor is implemented on the minicomputer PDP 11/20 with comparative ease. The processor is compact and small, and consists of a data-type free part (MONITOR, COMPILER, EXECUTOR) and a data-type dependent part (STANDARD - REPERTOIRE). The extensibility of the language is realized by the file facilities.

元の言語English
ホスト出版物のタイトルRev Electr Commun Lab (Tokyo)
ページ1084-1096
ページ数13
22
エディション11-12
出版物ステータスPublished - 1974 11
外部発表Yes

    フィンガープリント

ASJC Scopus subject areas

  • Engineering(all)

これを引用

Amamiya, M., Takeuchi, I., Okuno, H. G., & Noshita, K. (1974). PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION.Rev Electr Commun Lab (Tokyo) (11-12 版, 巻 22, pp. 1084-1096)