Abstractions, their algorithms, and their compilers-Reference-Cited by-同舟云学术

Abstractions, their algorithms, and their compilers

Published:2022-01-24 Issue:2 Volume:65 Page:76-91
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Aho Alfred¹,Ullman Jeffrey²

Affiliation:

1. Columbia University, New York, NY

2. Stanford University in Stanford, CA

Abstract

Jeffrey D. Ullman and Alfred V. Aho are recipients of the 2020 ACM A.M. Turing award. They were recognized for creating fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3490685

Reference51 articles.

1. Aaronson S. Ten semi-grand challenges for quantum computing theory. (2005) https://www.scottaaronson.com/writings/qchallenge.html. Aaronson S. Ten semi-grand challenges for quantum computing theory. (2005) https://www.scottaaronson.com/writings/qchallenge.html.

2. Adel'son-Vel'skii , G.M. and Landis , E.M . An algorithm for organization of information . In Doklady Akademii Nauk 146 ( 1962 ), Russian Academy of Sciences , 263--266. Adel'son-Vel'skii, G.M. and Landis, E.M. An algorithm for organization of information. In Doklady Akademii Nauk 146 (1962), Russian Academy of Sciences, 263--266.

3. Upper and lower bounds on the cost of a map-reduce computation;Afrati F.N.;Proceedings of the VLDB Endowment,2013

4. Aho ., A.V. Algorithms for Finding Patterns in Strings . MIT Press , Cambridge, MA, USA ( 1991 ), 255--300. Aho., A.V. Algorithms for Finding Patterns in Strings. MIT Press, Cambridge, MA, USA (1991), 255--300.

5. Teaching the compilers course

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

1. Digital Twin Technologies for Autonomous Environmental Control and Life Support Systems;Journal of Aerospace Information Systems;2024-04

2. Q# as a Quantum Algorithmic Language;Electronic Proceedings in Theoretical Computer Science;2023-11-16

3. Theories and Principles Matter: Towards Visually Appealing and Effective Abstraction of Property Graph Queries;Proceedings of the ACM on Management of Data;2023-06-13

4. On the cultivation of proper abstraction;E3S Web of Conferences;2023

5. Preliminary Exploration of Incorporating Industrial Software Curriculum into University Software Engineering Education;2022 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE);2022-12