抄録
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
ASJC Scopus subject areas
- Engineering(all)
これを引用
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
}
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 -