Author:
Backus J. W.,Bauer F. L.,Green J.,Katz C.,McCarthy J.,Perlis A. J.,Rutishauser H.,Samelson K.,Vauquois B.,Wegstein J. H.,van Wijngaarden A.,Woodger M.
Publisher
Association for Computing Machinery (ACM)
Cited by
211 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EVM-Shield: In-Contract State Access Control for Fast Vulnerability Detection and Prevention;IEEE Transactions on Information Forensics and Security;2024
2. Scalable Actor Networks with CAL;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need;Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction;2023-02-17
4. Language Theory and Semantics;Texts in Computer Science;2023
5. Control Abstraction;Undergraduate Topics in Computer Science;2023