ACM Annual Conference 1978: Washington, DC, USA

• Jacob T. Schwartz:
  The Interplay Between Mathematics And Computer Science. 1-9
  
• Richard E. Nance:
  Stylitism, Synergism, And Syncretism: The interface of computer science and operations research. 10-14
  
• Marian Boykan Pour-El:
  Computer Science And Recursion Theory. 15-20
  
• Alan C. Tucker:
  Computer Science Core Curriculum And Mathematics. 21-24
  
• Samuel D. Conte:
  Computer Science And Numerical Analysis. 25-26
  
• S. Jerrold Kaplan:
  On The Difference Between Natural Language And High Level Query Languages. 27-38
  
• Laurent Sikóssy:
  Impertinent Question-Answering Systems: justification and theory. 39-44
  
• George E. Heidorn:
  Natural Language Dialogue For Managing An On-Line Calendar. 45-52
  
• Jim Carlisle, John Gilbert:
  Automating The Office (Panel Discussion): user experiences. 53
  
• Alex A. J. Hoffman:
  A Proposed Masters Degree In Software Engineering. 54-57
  
• Richard E. Fairley:
  Educational Issues In Software Engineering. 58-62
  
• Leon G. Stucki, Lawrence J. Peters:
  A Software Engineering Graduate Curriculum. 63-67
  
• F. Saheban, Arthur D. Friedman:
  Diagnostic And Computational Reconfiguration In Multiprocessor Systems. 68-78
  
• S. S. Reddi:
  A Modular Computer With Petri Net Array Control. 79-85
  
• Mary Jane Irwin:
  Reconfigurable Pipeline Systems. 86-92
  
• Raymond Woodcock:
  A Vocational - Technical High School Program. 93-98
  
• Thomas H. Athey:
  Small Business - A Gold Mine For D.P. Educators. 99-105
  
• Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf:
  Validating The Utility Of Abstraction Techniques. 106-110
  
• Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe:
  The Euclid Language: a progress report. 111-115
  
• Donald I. Good, Richard M. Cohen, Lawrence W. Hunter:
  A Report On The Development Of Gypsy. 116-122
  
• Russell R. Atkinson, Barbara Liskov, Robert Scheifler:
  Aspects Of Implementing CLU. 123-129
  
• Robert Lee Chartrand, John K. Swearingen, Boyd L. Alexander, John J. Boyle:
  Congressional Reliance On And Use Of Computers. 130
  
• Bruce Barnes, Kent Curtis, Marvin Denicoff, William B. Gevarter, James Poole:
  Federal Funding For Basic Research In Computer Science. 131
  
• Clayton V. Aucoin:
  Computer Science And Graduate Education In Applied Mathematics. 132-137
  
• Shmuel Winograd:
  Complexity Of Computations. 138-141
  
• Edward L. Battiste:
  Computer Science And Statistics. 142-146
  
• E. P. Miles Jr.:
  Computer Related Curricular Changes In Traditional Mathematics. 147-155
  
• William A. Martin:
  Some Comments On EQS, A Near Term Natural Language Data Base Query System. 156-164
  
• Larry R. Harris:
  The ROBOT System: Natural language processing applied to data base query. 165-172
  
• Bozena Henisz Thompson, Frederick B. Thompson:
  Rapidly Extendable Natural Language. 173-182
  
• Terry Frederick, Steven L. Jamison, Paul Armer, Jeanette A. Griver, James F. Towsen, Helen M. Wood:
  Working In The Computing And Engineering Profession: Career planning and educational alternatives. 183
  
• Paul Armer:
  Obsolescence Of The Computing Professional: The problem and possible solutions. 183
  
• Jeanette A. Griver:
  How Women Can Advance In Management (Presentation Abstract): A perspective. 184
  
• James F. Towsen:
  Why Managers Fail(Presentation Abstract). 184
  
• Helen M. Wood:
  Opportunities For Computer Scientists And Engineers In The Federal Government (Presentation Abstract): A perspective. 184
  
• Steven L. Jamison:
  Employing A Deaf Programmer. 185-189
  
• James H. Carlisle, Bruce W. Hasenyager, Howard Lee Morgan:
  Automating The Office: User experiences 2. 190
  
• Howard L. Morgan:
  A System For Office Automation Research. 191
  
• Garold S. Tjaden, Erich Bloch, Fred Buelow, Sukas Patil, William Pohlman:
  Implications Of VLSI On Computer Design(Panel Discussion). 192-193
  
• Carlo H. Séquin, Alvin M. Despain, David A. Patterson:
  Communication In X-TREE, A Modular Multiprocessor System. 194-203
  
• Svetlana P. Kartashev, Steven I. Kartashev:
  A Powerful Modular Computer On A Universal Building Module. 204-209
  
• Luca Simoncini, Arthur D. Friedman:
  Incomplete Fault Coverage In Modular Miltiprocessor Systems. 210-216
  
• Lewis M. Norton:
  A Program Generator Package For Management Of Data Files - The Input Language. 217-222
  
• Jon D. Clark:
  A Utility For The Generation Of A Preliminary Data/Dictionary Directory. 223-229
  
• Michael Andrew Christensen, Mary Anne Herndon:
  QUEASY: The design and implementation of a management information system for casual users. 230-233
  
• Olin H. Bray, Sperry Univac:
  Data Usage And The Data Base Processor. 234-240
  
• M. Dennis Mickunas, Richard M. Schell:
  Parallel Compilation In A Multiprocessor Environment (Extended Abstract). 241-246
  
• John H. Crawford, Mehdi Jazayeri:
  Engineering A Program Optimizer. 247-253
  
• D. Dromard, F. Dromard:
  Direct Execution Of An Algebraic Oriented Language. 254-260
  
• Diane Pozefsky, Mehdi Jazayeri:
  A Family Of Pass-Oriented Attribute Grammar Evaluators. 261-270
  
• James Stringer, Robert Dunn, Dennis Fife:
  Software Quality And Reliability. 271
  
• Ronald J. Walton, Donald V. Brown, Sherman L. Naidorf, Joseph D. Naughton, Micro P. Snidero:
  Managing Federal Government Computer Installations. 272
  
• Roger H. Shannon, Karen A. Duncan:
  Why A Curriculum In Health Computing? 273-276
  
• Karen A. Duncan, Richard H. Austing, S. Katz, R. E. Pengov, R. E. Pogue, Anthony I. Wasserman:
  Health Computing: Curriculum for an emerging profession - report of the ACM curriculum committee on health computing education. 277-285
  
• Bharat K. Bhargava, Don P. Moehrke, A. O. Smith, John Lyon, David Lewis:
  Characteristics And Problems Encountered In Different Database Applications (Panel Discussion). 286
  
• Andrew Vazsonyi, William A. Heuser, Franz Edelman, Eric D. Carlson, Peter G. W. Keen:
  Extending The Power Of Decision Support Systems 1 And 2 (Panel Discussions). 287
  
• George R. Simpson, Herbert Sullivan, Theodore R. Bashkow:
  Office Work Station Networks. 288
  
• Yaohan Chu:
  Direct Execution In A High-Level Computer Architecture. 289-300
  
• Harvey Abramson, Mark Fox, Michael Gorlick, Vince Manis, John Peck:
  The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment. 301-309
  
• Jerome A. Feldman, James R. Low, Paul Rovner:
  Programming Distributed Systems. 310-316
  
• Per Brinch Hansen:
  Multiprocessor Architectures For Concurrent Programs. 317-323
  
• Douglas Rochester, Richard Collins, Arthur Hutt, Pender McCarter, Dan McCracken, George White:
  How Fast Should EFT Be Moving? (Panel Discussion). 324
  
• Bharat K. Bhargava, Stephen R. Kimbleton, Barbara Liskov, Jack Minker, Jeffrey D. Ullman:
  Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). 325
  
• John A. N. Lee, Paul Abraham, Paul Stylos, David Reese, Pat Hagerty, Don Dudley:
  Programming Language Standards From A User's Point Of View (Panel Discussion). 326
  
• John C. Ostgaard:
  A Simulation Support System Capable Of Control, Monitoring And Simulation Of Airborne Systems. 327-333
  
• Carmine A. Vaccarino, George Konomos:
  Real-Time Simulation For Verification Of Tactical Electronic Warfare System. 334-341
  
• John G. Allee Jr., Robert L. Williams:
  A Syntactic Schema And Algorithm For Language Arts CAI. 342-345
  
• Peggy R. Wright, Barry W. Brown:
  A Processor For Providing Friendly Environments For Frequently Used Application Packages. 346-350
  
• Kevin W. Bowyer, Peter N. Marinos:
  Proposal For A Shared Resource Computing Utility. 351-356
  
• Michael Levin:
  An Introduction To DIAM Levels Of Abstraction In Accessing Information. 357-369
  
• William E. Wright:
  Dynamic Binary Search Trees. 370-374
  
• Leland L. Beck:
  A Relational Problem Definition Language For Structured Data Processing. 375-384
  
• Patrica H. Baucom:
  Software Blueprints. 385-392
  
• Ted J. Biggerstaff:
  Factored Specifications In The Synthesis Of LISP Functions. 393-402
  
• William P. LaPlant, Raymond Demarest, Vince Guidace, David Skeen, Carol M. Vaughan:
  The Federal Computer Professional In The 1980'S: Impact of the president's reorganization project. 403
  
• Michael Alverson, John M. Carabello, Harris Reiche, Jules DuPeza, Paul Oyer:
  Implications Of The President's Reorganization Project On Government Data Processing. 404
  
• Maria Skarbo, M. M. Irvine:
  What Employers Look For In Hiring Computer Science Graduates (Panel Discussion). 405
  
• Maria Skarbo, Robert F. Bartell, M. M. Irvine, Ken Rothmuller, John N. Shoosmith:
  What Employers Look For In Hiring Computer Science Graduates (Panel Discussion). 405
  
• Maria Skarbo, Ken Rothmuller:
  What Employers Look For In Hiring Computer Science Graduates (Panel Discussion). 406-407
  
• Maria Skarbo, John N. Shoosmith:
  What Employers Look For In Hiring Computer Science Graduates (Panel Discussion). 408
  
• Kenneth Wexler:
  A Formal Theory Of Language Acquisition. 409-413
  
• Sharon C. Salveter:
  Inferring Conceptual Structures From Pictorial Input. 414-420
  
• Brian MacWhinney:
  Conditions On Acquisitional Models. 421-427
  
• James A. Senn, Robert M. Curtice, Richard H. Godlove, John K. Lyon:
  Case Studies On The Implementation And Use Of Database Management Systems (Panel Discussion): Experience with resistance. 428-431
  
• Marvin A. Sirbu Jr., Ed Goldstein:
  New Communications For The Office Of The Future (Panel Discussion): Strategies and barriers. 432
  
• Robert C. Goldstein:
  Modeling Computer Privacy Costs. 433-440
  
• William H. Dutton, Kenneth L. Kraemer:
  Executive Support For Urban Technology: The case of computing. 441-452
  
• Paul A. Karger:
  The Lattice Security Model In A Public Computing Network. 453-459
  
• Leonard Tripp, Yaohan Chu, Larry Peters, Leighton Scott:
  Notations For Software Specification And Design (Panel Discussion). 460
  
• Lorraine Borman, Robert Dunn, Thomas H. Martin, Lawrence Miller, Hugh Smith, Shirley Ward Watkins:
  People-Oriented Computer Systems (Panel Discussion): When, and how? 461
  
• James R. Yee:
  On Bounding Distributions For Stochastic Networks. 462-466
  
• Bruce L. Golden:
  Closed-Form Statistical Estimates Of Optimal Solution Values To Combinatorial Problems. 467-470
  
• C. Leung:
  Some Open Problems In Cryptography. 471-475
  
• Alfred V. Aho, Susan L. Graham:
  Tools For Automatic Compiler Generation (Panel Discussion). 476-477
  
• Alfred V. Aho, Steven C. Johnson:
  Tools For Automatic Compiler Generation (Panel Discussion). 476
  
• R. G. G. Cattell, Joseph M. Newcomer, William A. Wulf:
  Tools For Automatic Compiler Generation (Panel Discussion). 477
  
• Marvin A. Sirbu Jr., David Twyver, David Willard, John F. Shoch, Richard Strindmo:
  Alternative Approaches To Wiring The Office Of The Future (Panel Discussion). 478
  
• Marvin A. Sirbu Jr., Victor A. DeMarines, David Willard:
  Alternative Approaches To Wiring The Office Of The Future (Panel Discussion). 478
  
• Marvin A. Sirbu Jr., John F. Shoch: Alternative Approaches To Wiring The Office Of The Future (Panel Discussion). 479
• Ivo Babuska, Werner C. Rheinboldt:
  On A System For Adaptive, Parallel Finite Element Computations. 480-489
  
• Paul S. Jensen:
  An Engineering Analysis System. 490-495
  
• Amrit L. Goel, Kazu Okumoto:
  An Analysis Of Recurrent Software Errors In A Real-Time Control System. 496-501