Introduction / Ian Wand ; Robin Milner |
The complexity of algorithms / M. D. Atkinson1: |
Building novel software: the researcher and the market-place / P. J. Brown2: |
Prospects for artificial intelligence / Alan Bundy3: |
Structured parallel programming: theory meets practice John Darlington / Yi-ke Guo ; Hing Wing To4: |
Computer science and mathematics / J. H. Davenport5: |
Paradigm merger in natural language processing / Gerald Gazdar6: |
Large databases and knowledge reuse / P. M. D. Gray7: |
The global-yet-personal information system / J. R. Gurd ; C. B. Jones8: |
Algebra and models / C. A. R. Hoare9: |
Real-time computing / Mathai Joseph10: |
Evaluation of software dependability / Bev Littlewood11: |
Engineering safety-critical systems / John A. McDermid12: |
Semantic ideas in computing / 13: |
Computers and communications / R. M. Needham14: |
The place of interactive computing in tomorrow's computer science / William Newman15: |
On the importance of being the right size: the challenge of conducting realistic experiments / Simon Peyton Jones16: |
Bibliography |
Index |
Preface |
Contributors |
Building novel software: the researcher and the marketplace |
Structured parallel programming: theory meets practice / John Darlington |
Interactive computing in tomorrow's computer science |
On the importance of being the right size |
References |
Introduction / Ian Wand ; Robin Milner |
The complexity of algorithms / M. D. Atkinson1: |
Building novel software: the researcher and the market-place / P. J. Brown2: |
Prospects for artificial intelligence / Alan Bundy3: |
Structured parallel programming: theory meets practice John Darlington / Yi-ke Guo ; Hing Wing To4: |
Computer science and mathematics / J. H. Davenport5: |