Table of Contents

• SIGACT (Paper Session)Patrick C. Fischer, George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert. 1 [doi]
• The assignment axiom and programming language designGeorge T. Ligler. 2-6 [doi]
• Flow graph analysis using linear connected regionsWilliam C. Nylin Jr.. 7-11 [doi]
• Formal properties of sequential/parallel matrix languagesPatrick Shen-Pei Wang. 12-16 [doi]
• A note on matrix multiplication in a paging environmentPatrick C. Fischer, Robert L. Probert. 17-21 [doi]
• SIGACT (Tutorial Session)Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner. 22 [doi]
• Theoretical results in compiler design and implementation (Tutorial Session)Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner. 23 [doi]
• SIGARCH (Paper Session)Donald R. Innes, James L. Alty, S. L. Rege, Lee A. Hollaar, B. J. Hurley, David J. Kuck, Duncan H. Lawrie, Jane W.-S. Liu, J. M. Milner, J. K. Morgan, J. Richard Rinewalt, William H. Stellhorn, G. Jack Lipovski. 24 [doi]
• Experience of using message spooling processors in a non-interactive networkDonald R. Innes, James L. Alty. 25-29 [doi]
• Performance evaluation of CCD chip organizations from memory system design viewpointSatish L. Rege. 30-37 [doi]
• The design of system architectures for information retrievalLee A. Hollaar, B. J. Hurley, David J. Kuck, Duncan H. Lawrie, Jane W.-S. Liu, J. M. Milner, J. K. Morgan, J. Richard Rinewalt, William H. Stellhorn. 38-44 [doi]
• SIGART (Paper Session)Robert Wilensky, Robert F. Simmons, Arvin Levine, Mitchell Marcus, Roger C. Schank. 45 [doi]
• Using plans to understand natural languageRobert Wilensky. 46-50 [doi]
• Inferential question answering in a textual data baseRobert F. Simmons. 51-56 [doi]
• Prosodic generation researchArvin Levine. 57-61 [doi]
• A design for a parser for EnglishMitchell Marcus. 62-68 [doi]
• SIGART(Tutorial Session)Ira Goldstein, Gary G. Hendrix, Richard Fikes. 69 [doi]
• The role of representation in artificial intelligence(Tutorial Session)Ira Goldstein, Gary G. Hendrix, Richard Fikes. 70-72 [doi]
• SIGART(Tutorial Session)Cordell Green, Richard Fikes, Martin Kay. 73 [doi]
• Automatic synthesis - programs and plansCordell Green, Richard Fikes, Martin Kay. 74-75 [doi]
• SPADOR: A scheduler, planner, and administrator of operations and resourcesRichard Fikes. 75-76 [doi]
• SIGBDR (Panel Session)Richard L. Nolan, E. Gerald Hurst Jr., John V. Soden, Howard Lee Morgan. 77 [doi]
• Multinational information systems (Panel Discussion)Richard L. Nolan, E. Gerald Hurst Jr., Howard Lee Morgan. 78 [doi]
• SIGBDP (Paper Session)Michael Stonebraker, Peter Rubinstein, Richard Conway 0003, David Strip, H. Rex Hartson, David K. Hsiao, Eduardo B. Fernandez. 79 [doi]
• The INGRES protection systemMichael Stonebraker, Peter Rubinstein. 80-84 [doi]
• Selective partial access to a databaseRichard Conway 0003, David Strip. 85-89 [doi]
• Full protection specifications in the semantic model for database protection languagesH. Rex Hartson, David K. Hsiao. 90-95 [doi]
• SIGBDP (Panel Session)James F. Hubbert, Earl C. Joseph, Walter G. Wohlgemuth, Robert R. Moeller. 96 [doi]
• The role of the computer auditor in information systems development(Panel Discussion)James F. Hubbert, Earl C. Joseph, Walter G. Wohlgemuth, Robert R. Moeller. 97 [doi]
• SIGBIO (Paper Session)Ronald W. Hagen, Lewis J. Thomas Jr., Janet A. Thomas Jr., Betty F. Maskewitz, R. L. Henne, W. J. McClain, Aran Safir, Casimir A. Kulikowski, William Lively. 98 [doi]
• Design considerations for a computer-based clinical physiologic research systemRonald W. Hagen, Lewis J. Thomas Jr., Janet A. Johnson. 99-104 [doi]
• The Biomedical Computing Technology Information Center (BCTIC) sharing programs, data, and interface designsBetty F. Maskewitz, R. L. Henne, W. J. McClain. 105-109 [doi]
• Concepts of computer-based modeling for consultation in optics and refractionCasimir A. Kulikowski, Aran Safir. 110-114 [doi]
• SIGCAS (Panel Session)Barry W. Boehm, Harry D. Huskey, Alan B. Kamman, Michael R. Lackner, Edward L. Robertson. 115-118 [doi]
• SIGCAS (Panel Session)Robert P. Abbott, Wayne Bouchet, Roland Eppley Jr., Randolph Lively, J. V. Leeds, Rob Kling, Paul Armer. 119-120 [doi]
• SIGCSE (Panel Session)E. J. Desautels, M. Faiman, Earl J. Schweppe, L. Symes. 121-122 [doi]
• SIGCSE (Panel Session)Richard H. Austing, Michael C. Mulder, Norman E. Gibbs, Susan Brewer, Gerald L. Engel. 123 [doi]
• Curriculum recommendations in computer science (Panel Discussion)Richard H. Austing, Michael C. Mulder, Norman E. Gibbs, Gerald L. Engel. 124 [doi]
• Model curricula for 4-year computer science and engineering programsMichael C. Mulder. 125 [doi]
• SIGCSE (Paper Session)David L. Cohn, Robert B. Kolstad, Stefan Feyock, Thomas Ford, David G. Moursund, D. R. Chand, R. Techo, Norman E. Gibbs. 126 [doi]
• Introducing minority students to technological careers through computer programmingDavid L. Cohn, Robert B. Kolstad. 127-129 [doi]
• Individual learning styles and computer science educationStefan Feyock, Thomas Ford. 130-134 [doi]
• Calculators and the elementary school: an idea and some implicationsDavid G. Moursund. 135-137 [doi]
• A computer science program in a business schoolD. R. Chand, R. Techo. 138-141 [doi]
• SIGCUE (Paper and Panel Session)Edward E. Green, Alfred Bork, Bill Bowman, A. Kent Morton. 142-143 [doi]
• Message design - graphic display strategies for instructionEdward E. Green. 144-148 [doi]
• SIGCUE (Paper Session)Stuart D. Milner, Karl L. Zinn, Robert Parnes, Helen Hench, Thomas A. Dwyer, Harold Abelson. 149 [doi]
• Computer-based educational communications at the University of MichiganKarl L. Zinn, Robert Parnes, Helen Hench. 150-154 [doi]
• The 'community of learning' model for using computers in educationThomas A. Dwyer. 155-158 [doi]
• Logo graphics as a mathematical environmentHarold Abelson. 159-163 [doi]
• SICDOC (Panel Session)Nancy Phillips, Joseph Santini, Tom D'Auria, Diana Patterson. 164-166 [doi]
• SIGGRAPH (Papers and Panel Session)Robert K. Clark, Charles E. Quenneville, Harvey Z. Kriloff, Joel N. Sturman, Larry Cornish, Ian Hirschsohn. 167-168 [doi]
• Computer graphics at a large IBM installationRobert K. Clark. 169-173 [doi]
• The BIG system - synergetic graphicsCharles E. Quenneville, Harvey Z. Kriloff. 174-178 [doi]
• SIGIR(Tutorial Session)Carolyn J. Crouch, Gerard Salton, Edgar H. Sibley. 179 [doi]
• Retrieval systems(Tutorial Session): documents and dataCarolyn J. Crouch, Gerard Salton, Edgar H. Sibley. 180 [doi]
• SIGIR(Tutorial Session)Donald B. Crouch, David Lefkovitz, Julius T. Tou, Chung-Shu Yang. 181 [doi]
• Recent advances in information retrieval (Tutorial Session)Donald B. Crouch, David Lefkovitz, Julius T. Tou, Chung-Shu Yang. 182-183 [doi]
• SIGMAP/SIGSAM/SIGNUM(Paper Session)M. Andrews, Stephen F. McCormick, G. D. Taylor, James L. Noyes, Hatem M. Khalil, Dana L. Ulery, James E. Kalan. 184 [doi]
• Evaluation of the square root function on microprocessorsM. Andrews, Stephen F. McCormick, G. D. Taylor. 185-191 [doi]
• A new mathematical programming time-sharing system using a precompiler and numerical derivativesJames L. Noyes. 192-196 [doi]
• A review of current studies on complexity of algorithms for partial differential equationsHatem M. Khalil, Dana L. Ulery. 197-201 [doi]
• SIGMETRICS (Panel Session)Edwin S. Herndon, James S. Cameron, M. Talbott, Bennet P. Lientz, Marshall Abrams. 202 [doi]
• Computer Systems Planning - tools & techniquesEdwin S. Herndon. 203-207 [doi]
• An approach to benchmarking terminal oriented systemsJames S. Cameron. 208-212 [doi]
• Measuring productive computational workMarvin Talbott. 213-217 [doi]
• Evaluation of network servicesBennet P. Lientz. 218-220 [doi]
• SIGMICRO (Panel Session)Don Senzig, Gideon Frieder, Wayne T. Wilner, Stanley Habib, Harut Barsamian. 221 [doi]
• Computer architecture (Panel Discussion): trends and alternativesDon Senzig, Gideon Frieder, Wayne T. Wilner, Stanley Habib, Harut Barsamian. 222 [doi]
• Distributed microprogram architectureGideon Frieder. 223 [doi]
• Unconventional architectureWayne T. Wilner. 223 [doi]
• Software implications on future architecture designsStanley Habib. 224 [doi]
• SIGOPS/SIGMINI(Paper Session)Bruce D. Shriver, J. Wayne Anderson, L. J. Waguespack, D. M. Hyams, R. A. Bombet, Elizabeth D. Rather, Charles H. Moore, David N. Cutler, Mario R. Pellegrini, Henry R. Bauer III, Gary D. Thomas, Jeffery Van Baalen, Richard H. Eckhouse Jr., Bruce D. Shriver. 225 [doi]
• An implementation scheme for a virtual machine monitor to be realized on user - microprogrammable minicomputersBruce D. Shriver, J. Wayne Anderson, L. J. Waguespack, D. M. Hyams, R. A. Bombet. 226-232 [doi]
• The FORTH approach to operating systemsElizabeth D. Rather, Charles H. Moore. 233-240 [doi]
• The nucleus of a real-time operating system(a tutorial on the internals of RSX-11M)David N. Cutler, Richard H. Eckhouse Jr., Mario R. Pellegrini. 241-246 [doi]
• A multiprogramming operating system for the TI980AHenry R. Bauer III, Gary D. Thomas, Jeffrey VanBaalen. 247-251 [doi]
• Minicomputer systems in business (Panel Discussion): what are the limiting factors?Ted G. Lewis, Gerry Cullen, Ted Cary, Peter van Berkel, D. E. Schilling, Elizabeth D. Rather. 252-255 [doi]
• SIGMINI (Tutorial Session)Ted Cary, John Tartar. 256 [doi]
• SIGMINI (Tutorial Session)John Tartar, Ted Cary. 257 [doi]
• SIGMINI (Paper Session)Malcolm G. Lane, Henry K. Hess, Carol A. Roberts, Ray Jakubek, Steve Silverstein, James Van Ornum. 258 [doi]
• On-line Ecological Data Validation: an expansion of a minicomputer-based key entry systemMalcolm G. Lane, Henry K. Hess. 259-264 [doi]
• Flight recorders and aircraft safetyCarol A. Roberts. 265-269 [doi]
• Microprocessor control of customer premises telecommunications equipmentRay Jakubek, Steve Silverstein. 270-274 [doi]
• SIGMOD (Paper Session)Toby J. Teorey, John W. DeHeus, Rob Gerritsen, Howard Lee Morgan, James F. Spitzer, Michael Stonebraker. 275 [doi]
• Analysis of storage structure performance for multiple data processing activitiesToby J. Teorey, John W. DeHeus. 276-280 [doi]
• Dynamic restructuring of databases with generation data structuresRob Gerritsen, Howard Lee Morgan. 281-286 [doi]
• Performance prototyping of data management applicationsJames F. Spitzer. 287-291 [doi]
• SIGMOD(Paper Session)Alan G. Merten, Fred J. Maryanski, Paul S. Fisher, Virgil E. Wallentine, Adele Mildred Koss, J. M. Noonan, S. B. Yao. 292 [doi]
• Evaluation of conversion to a back-end data base management systemFred J. Maryanski, Paul S. Fisher, Virgil E. Wallentine. 293-297 [doi]
• A case study in the use of data base managementAdele Mildred Koss, J. M. Noonan. 298-302 [doi]
• Modeling and performance evaluation of physical data base structuresS. B. Yao. 303-309 [doi]
• SIGMOD(Panel Session): next stepsJames P. Fry, Richard Godlove, Harry Kepner, Edgar Sibly, William Steiger, George G. Dodd. 310-312 [doi]
• SIGMOD(Paper Session)Philip Y. Chang, Jay-Louise Weldon, Shamkant B. Navathe, Georges S. Nicolas, John W. Lewis, N. N. Oliver, John D. Joyce, Stewart Schuster, Douglas S. Kerr. 313 [doi]
• Parallel processing and data driven implementation of a relational data base systemPhilip Y. Chang. 314-318 [doi]
• An attribute-based file organization for a relational databaseJay-Louise Weldon, Shamkant B. Navathe. 319-323 [doi]
• A MUMPS-based Relational Data Base system (MRDB)Georges S. Nicolas, John W. Lewis. 324-328 [doi]
• Performance monitor for a relational information systemN. N. Oliver, John D. Joyce. 329-333 [doi]
• SIGNUM (Tutorial Session)Thomas J. Aird, John Rice, Wayne Cowell, Edward L. Battiste. 334-335 [doi]
• SIGOPS (Paper Session)Udo W. Pooch, David M. Burris, Patrice Burgevin, Jacques Leroudier, Errol H. Pollnow, H. F. Tibbals, Anita K. Jones. 336 [doi]
• A Modified Locality Matrix Model (MLMM) - dynamic clustering in a demand paging environmentUdo W. Pooch, David M. Burris. 337-343 [doi]
• Characteristics and models of program behaviourPatrice Burgevin, Jacques Leroudier. 344-350 [doi]
• A time-dependent approach to queue simulation - III: system input and facility loadingErrol H. Pollnow. 351-355 [doi]
• A structure for interprocess communication in a data communications handlerH. F. Tibbals. 356-360 [doi]
• Sigops(Paper Session)David R. Cheriton, Steven S. Muchnick, Hasan H. Sayani, Robert Trueman Tomlinson, Ronnie G. Ward, Darrell L. Ward. 361 [doi]
• Man-machine interface design for timesharing systemsDavid R. Cheriton. 362-366 [doi]
• The command interpreter and command language design of the com-share COMMANDER II systemSteven S. Muchnick. 367-372 [doi]
• A basis for the design of Operating System Command and Response LanguagesHasan H. Sayani. 373-380 [doi]
• A high level computer control languageRobert Trueman Tomlinson. 381-386 [doi]
• SIGPLAN(Tutorial Session)Daniel M. Berry, John B. Johnston. 387-389 [doi]
• SIGPLAN(Paper Session)Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom. 390 [doi]
• Error checking with pointer variablesMarvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen. 391-395 [doi]
• Error recovery for Simple LR(k) parsersFrederick C. Druseikis, G. David Ripley. 396-400 [doi]
• A procedure mechanism for backtrack programmingDavid R. Hanson. 401-405 [doi]
• SIGPLAN (Tutorial Session)Loren P. Meissner, Frank Engel Jr., Walter S. Brainerd, Thomas A. Gibson. 406-408 [doi]
• SIGPLAN(Paper Session)Ralph E. Griswold, Harald Ganzinger, Bill P. Buckles, G. C. Hintze, Ken De Jong. 409 [doi]
• String analysis and synthesis in SL5Ralph E. Griswold. 410-414 [doi]
• MUG1 - an incremental compiler-compilerHarald Ganzinger, Knut Ripken, Reinhard Wilhelm. 415-418 [doi]
• Levels of abstraction and compilersBill P. Buckles, G. C. Hintze. 419-423 [doi]
• SIGSAM (Paper Session)Joel Moses, Martin L. Griss, George Collins. 424 [doi]
• An introduction to the Risch integration algorithmJoel Moses. 425-428 [doi]
• An efficient sparse minor expansion algorithmMartin L. Griss. 429-434 [doi]
• SIGSAM (Tutorial Session)John D. Lipson, Ellis Horowitz, David R. Musser. 435 [doi]
• The fast Fourier transform its role as an algebraic algorithmJohn D. Lipson. 436-441 [doi]
• The art of the algorithmistEllis Horowitz. 442-444 [doi]
• SIGSIM (Panel Session)Paul F. Roth, Richard E. Nance, Larry McNamee, Walter G. Rudd. 445-446 [doi]
• SIGSOC (Paper Session)Lorraine Borman, Gregory J. Suski, Kenneth L. Kraemer, John A. Sonquist, Richard C. Roistacher, Barbara B. Noble, James L. Ross, Mark Hayes, Gregory A. Marks. 447 [doi]
• Providing state of the art information systems for small government agencies: a case study in technology transferLorraine Borman, Gregory J. Suski. 448-454 [doi]
• Retailing computer technology to the uninitiated consumer: the case of computer applications transfer in local governmentsKenneth L. Kraemer. 455-461 [doi]
• Organizational change and educational computingJohn A. Sonquist. 462-466 [doi]
• The process of growth in a statewide educational computing system: the California exampleJames L. Ross, Mark Hayes. 467-472 [doi]
• A network-based research support facility and data archiveRichard C. Roistacher, Barbara B. Noble. 473-477 [doi]
• SICSOFT (Paper Session)Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley. 478 [doi]
• Allegations as aids to static program testingLeon J. Osterweil. 479-482 [doi]
• An interactive Automated Test Data GeneratorRobert H. Hoffman. 483-487 [doi]
• A program testing systemLori A. Clarke. 488-491 [doi]
• Compiler testing via symbolic interpretationHanan Samet. 492-497 [doi]
• SICSOFT (Paper Session)Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang. 498 [doi]
• Incremental program testing in a very high level languageBurt M. Leavenworth. 499-503 [doi]
• A program verification systemRaymond J. Hookway, George W. Ernst. 504-508 [doi]
• Improving and refining programs by program manipulationThomas A. Standish, Dennis F. Kibler, James M. Neighbors. 509-516 [doi]
• SICSOFT (Panel Session)Barry W. Boehm, Richard E. Fairley, Warren Franz, Raymond Yeh, Anthony I. Wasserman, Peter Freeman. 517-519 [doi]
• SICSOFT (Tutorial Session)Donald I. Good, Lloyd Fosdick. 520 [doi]
• SIGSOFT tutorial on program verification (Tutorial Session)Donald I. Good, Lloyd Fosdick. 521-522 [doi]
• SIGTPC (Panel Session)Monroe M. Newborn. 523-524 [doi]
• SIGUCC (Tutorial/Panel Session)Lynn Bellamy, Charles Mosmann, Joseph R. Denk, Leonard Alberts, Tom Kurtz, Roy F. Reeves. 525-528 [doi]
• General interest (Paper Session)Frederick E. Petry, Alan W. Biermann, Monroe M. Newborn, Helmut Kerner, Werner Beyerle, Kathleen M. Shockley, Daniel P. Friedman. 529 [doi]
• Reconstruction of algorithms from memory snapshots of their executionFrederick E. Petry, Alan W. Biermann. 530-534 [doi]
• Reconsideration of a theorem on admissible ordered search algorithmsMonroe M. Newborn. 535-538 [doi]
• A simulator generator based on formal descriptions of architectural, load, and operating system modelsHelmut Kerner, Werner Beyerle. 539-545 [doi]
• The family binary treeKathleen M. Shockley. 546-550 [doi]
• Human factors (Tutorial Session)H. Rudy Ramsey, James D. Baker, Richard W. Pew. 551-552 [doi]
• Student program (Paper Session)Jose C. Ingojo, Roy Rada, Joe Stiles. 553 [doi]
• Modularization in the pilot compiler and its effect on the lengthJose C. Ingojo. 554-557 [doi]
• Computerized coding of the medical problem statementRoy Rada. 558-560 [doi]
• An interactive macro language application to a tracking problem and to a best ellipsoidal bounds problemJoe Stiles. 561-563 [doi]