External Links

Journal: Communications of the ACM

Volume 31, Issue 9

1048 -- 1063James H. Fetzer. Program Verification: The Very Idea
1064 -- 1079John M. Carroll, Amy P. Aaronson. Learning by Doing with Simulated Intelligent Help
1080 -- 1089Wilfred J. Hansen, Christina Haas. Reading and Writing with Computers: A Framework for Explaining Differences in Performance
1090 -- 1097Surya B. Yadav, Ralph R. Bravoco, Akemi T. Chatfield, T. M. Rajkumar. Comparison of Analysis Techniques for Information Requirement Determination
1098 -- 1115Alan M. Davis. A Comparison of Techniques for the Specification of External System Behavior
1116 -- 1127Alok Aggarwal, Jeffrey Scott Vitter. The Input/Output Complexity of Sorting and Related Problems
1128 -- 1138Robert Courts. Improving Locality of Reference in a Garbage-Collecting Memory Management System
runs on