Language design methods based on semantic principles-Reference-Cited by-同舟云学术

Language design methods based on semantic principles

Published:1977 Issue:2 Volume:8 Page:97-112
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Tennent R. D.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

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

Reference45 articles.

1. Ammann, U., Wirth, N.: Advantages of the value parameter over the constant parameter. Unpublished memo, Eidgenössische Technische Hochschule, Zürich, 1972

2. Birtwistle, G.M., Dahl, O.J., Myrhaug, B., Nygaard, K.: SIMULA BEGIN. Philadelphia: Auerbach 1973. Also Lund: Studentlitteratur 1974

3. Brinch Hansen, P.: Universal types in Concurrent Pascal. Information Processing Letters 3, 165?166 (1975)

4. Bron, C., de Vries, W.: A Pascal compiler for PDP-11 mini-computers. Software Practice and Experience 6, 109?116 (1976)

5. Church, A.: The calculi of lambda conversion. Princeton: Princeton University Press 1941

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

1. Virtual Machinations: Using Large Language Models as Neural Computers;Queue;2024-06-30

2. Persistent software transactional memory in Haskell;Proceedings of the ACM on Programming Languages;2021-08-22

3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12

4. A true positives theorem for a static race detector;Proceedings of the ACM on Programming Languages;2019-01-02

5. Experience Developing and Deploying Concurrency Analysis at Facebook;Static Analysis;2018