The Role of Theory JEFFREY Department Today D. ULLMAN of Computer Science, Stanford University, Stanfbrd, California The work of Hartmanis and Stearns, for which they rightly and belatedly won the Turing award, led to a long sequence was both amazingly insightful and widely useful. It of important innovation.s, such as work on cryptojustification for theoretical outside the computational I could advances protocol cite work in language verifiers, research complexdesign, and the many graphic complexity, and it is a principal today. Further, theory has had triumphs ity use area. Without wishing semantics that ming-language specific that have to be exhaustive, led to real in ideas practical on program- of automaton-theoretic algorithms been used in practice. Yet looking back at the 1960s, I see a naive optimism that was based on too little evidence. The work on O(nlogn) sorting algorithms or Strassen s matrix-multiplication problems than the language other theoretical The theory in by early would algorithm, soon yield for example, that caused us to believe more that all to algorithms wene significantly wonderful idea that all aspects soon yield to efficient obvious ones. and automata systems community successes, analysis. LR(k ) parsing a theory suggested software would deeply rooted
End of preview. The entire article is 2 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/the-role-of-theory-today-4ghcOqlDX8
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
The role of theory today
Ullman, Jeffrey D.
Follow ACM Computing Surveys (CSUR)
, Volume 27 (1)
Association for Computing Machinery – Mar 1, 1995
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
