ACM-TURING

Keyphrases

Publications

2012

Edmund M. Clarke
Computable Real Numbers and Why They Are Still Important Today. ACM-TURING (2012)
Butler W. Lampson
What Computers Do: Model, Connect and Engage. ACM-TURING (2012)
Dana S. Scott
Lambda Calculus Then and Now. ACM-TURING (2012)
Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth
Programming Languages - Past Achievements and Future Challenges. ACM-TURING (2012)
David A. Patterson, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker
Computer Architecture. ACM-TURING (2012)
Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy
Human and Machine Intelligence. ACM-TURING (2012)
Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. ACM-TURING (2012)
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 ACM-TURING (2012)
John White
Welcome to the ACM Turing Centenary Celebration! ACM-TURING (2012)
Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall, William Newman
Turing the Man. ACM-TURING (2012)
Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao
The Turing Computational Model. ACM-TURING (2012)
Vinton G. Cerf
Welcome to the ACM Turing Centenary Program. ACM-TURING (2012)
Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir
Information, Data, Security in a Networked Future. ACM-TURING (2012)
Alan C. Kay
Extracting Energy from the Turing Tarpit. ACM-TURING (2012)
Christos H. Papadimitriou, Leonard M. Adleman, Richard M. Karp, Donald E. Knuth, Robert E. Tarjan, Leslie G. Valiant
An Algorithmic View of the Universe. ACM-TURING (2012)