Computing tomorrow : future research directions in computer science / edited by Ian Wand and Robin Milner. - Cambridge [U.K.] : Cambridge University Press, c1996. - x, 373 p. ; 24 cm.

Preface. - Contributors. - 1. The Complexity of Algorithms / M. D. Atkinson. - 2. Building Novel Software: the Researcher and the Marketplace / P. J. Brown. - 3. Prospects for Artificial Intelligence / Alan Bundy. - 4. Structured Parallel Programming: Theory meets Practice / John Darlington, Yi-ke Guo, Hing Wing To. - 5. Computer Science and Mathematics / J. H. Davenport.- 6. Paradigm Merger in Natural Language Processing / Gerald Gazdar. - 7. Large Databases and Knowledge Re-use / P. M. D. Gray. - 8. The Global-yet-Personal Information System / J. R. Gurd, C. B. Jones. - 9. Algebra and Models / C. A. R. Hoare. - 10. Real-time Computing / Mathai Joseph. - 11. Evaluation of Software Dependability / Bev Littlewood. - 12. Engineering Safety-Critical Systems / John A. McDermid. - 13. Semantic Ideas in Computing / Robin Milner. - 14. Computers and Communications / R. M. Needham. - 15. Interactive Computing in Tomorrow's Computer Science / William Newman. - 16. On the Importance of Being the Right Size / Simon Peyton Jones. - References. - Index.

0521460859


Computer science--Research.

004.072 / COM