SEMANOL (73) a metalanguage for programming the semantics of programming languages-Reference-Cited by-同舟云学术

SEMANOL (73) a metalanguage for programming the semantics of programming languages

Published:1976 Issue:2 Volume:6 Page:109-131
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Anderson E. R.,Belz F. C.,Blum E. K.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00268496.pdf

Reference33 articles.

1. Blum, E. K.: Towards a theory of semantics and compilers for programming languages. Computer and System Sciences 3, 248?275 (1969)

2. Blum, E. K.: Semantics of programming languages. IFIP W.G.2.2 Bulletin, Apr. 1971

3. Lucas, P., Walk, K. et al.: ULD VERSION II. IBM Reports, 1968; also: On the formal description of PL/I. Annual Review of Automatic Programming 6. New York: Pergamon 1970, p. 105?181

4. Gilmore, P. C.: Purely functional programs as recursions. IBM Research Report, Oct. 1972

5. Gilmore, P. C.: A Completeness theorem for programs. IBM Report, Nov. 1972

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics of programming languages;ACM SIGPLAN Notices;2000-03

2. Semantics of algorithmic languages;Journal of Soviet Mathematics;1984-06

3. Toward complete programming language descriptions that are both formal and understandable;Software: Practice and Experience;1984-03

4. Control Flow Aspects of Semantics-Directed Compiling;ACM Transactions on Programming Languages and Systems;1983-10

5. A style for writing the syntactic portions of complete definitions of programming languages;The Computer Journal;1981-02-01