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

Fingerprint

Minicomputers
Computer programming languages
Processing

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)

PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION. / Amamiya, Makoto; Takeuchi, Ikuo; Okuno, Hiroshi G.; Noshita, Kohei.

Rev Electr Commun Lab (Tokyo). 巻 22 11-12. 編 1974. p. 1084-1096.

研究成果: Chapter

Amamiya, M, Takeuchi, I, Okuno, HG & Noshita, K 1974, PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION.Rev Electr Commun Lab (Tokyo). 11-12 Edn, 巻. 22, pp. 1084-1096.
Amamiya M, Takeuchi I, Okuno HG, Noshita K. PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION. : Rev Electr Commun Lab (Tokyo). 11-12 版 巻 22. 1974. p. 1084-1096
Amamiya, Makoto ; Takeuchi, Ikuo ; Okuno, Hiroshi G. ; Noshita, Kohei. / PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION. Rev Electr Commun Lab (Tokyo). 巻 22 11-12. 版 1974. pp. 1084-1096
@inbook{77ab2010b9bb436391c8fad55f791c07,
title = "PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION.",
abstract = "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.",
author = "Makoto Amamiya and Ikuo Takeuchi and Okuno, {Hiroshi G.} and Kohei Noshita",
year = "1974",
month = "11",
language = "English",
volume = "22",
pages = "1084--1096",
booktitle = "Rev Electr Commun Lab (Tokyo)",
edition = "11-12",

}

TY - CHAP

T1 - PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION.

AU - Amamiya, Makoto

AU - Takeuchi, Ikuo

AU - Okuno, Hiroshi G.

AU - Noshita, Kohei

PY - 1974/11

Y1 - 1974/11

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0016129439&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0016129439&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0016129439

VL - 22

SP - 1084

EP - 1096

BT - Rev Electr Commun Lab (Tokyo)

ER -