%A Alan F. Westin
%T The next decade of the computer revolution:
privacy, participation and power (abstract only)
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P xvi-xvii

%A George N. Arnovick
%A Robert L. Britton
%T A communication structure to implement
a multi-microprocessor computer architecture
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 2-5

%A Yaohan Chu
%T Concepts of high-level-language computer architecture
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 6-13

%A Gerald Belpaire
%A Nai-Ting Hsu
%T Hardware architecture for recursive virtual machines
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 14-18

%A Tatsuya Hayashi
%T A new approach to construction of computer systems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 19-23

%A Bruce L. Bullock
%T Real world scene analysis in perspective
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 25-28

%A Joseph E. Murphy,\ Jr.
%T Computer generated narrative description
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 29-31

%A Ramakent Nevatia
%T Object boundary determination in a textured environment
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 32-36

%A Walter Reitman
%A Bruce Wilcox
%T Perception and representation of spatial relations
in a program for playing go
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 37-41

%A Kenneth R. Sloan,\ Jr.
%A Ruzena Bajcsy
%T A computational structure for color perception
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 42-45

%A Sara R. Jordan
%A Cathy J. Kreikebaum
%A Arthur Kretchmar
%T English output of the physical examination in an automated medical record
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 59-63

%A Joyce Statz
%A Leland Miller
%T Certification of secondary school computer science teachers:
some issues and viewpoints
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 71-73

%A David Moursund
%T Teacher certification in computer education
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 74-76

%A Donald Holznagel
%T Historical development of Minnesota's instructional computing network
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 79-80

%A R.A. Ellis
%T Evaluating computer graphics system organizations
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 84

%A C.D. Barry
%T Stand alone graphics: now more than ever
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 85-86

%A Herbert J. Bernstein
%T The CRYSNET terminal organization
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 87

%A J.D. Foley
%A W.V. Wright
%T An interactive molecular graphics system
with a satellite terminal closely coupled to its host
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 88-89

%A Carl N. Morimoto
%A Edgar F. Meyer,\ Jr.
%T Graphic manipulations of molecules:
a stand-alone processing in a network environment
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 90

%A Swatantra K. Kachhal
%A Sant R. Arora
%T Seeking configurational optimization in computer systems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 96-101

%A John Peterson
%A William Bulgren
%T Studies in memory models of computer systems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 102-107

%A Y.V. Reddy
%T Experimental evaluation of a multiprogrammed computer system
%P 108-111

%A H.D. Schwetman
%T Gathering and analyzing data from a computer system: a case study
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 112-117

%A Douglas A. Cassell
%A Warren F. Mayhew
%T The current state of the art in microprocessor software
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 119-121

%A A.J. Nichols
%T Summary of the current state of microprocessor technology
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 122-123

%A E. Douglas Jensen
%T The influence of microprocessors on computer architecture:
distributed processing
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 125-128

%A S. Fuller
%A D. Siewiorek
%A R. Swan
%T Computer modules: an architecture for a modular multi-microprocessor
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 129-133

%A Harley Mathews
%A Kam Li
%A John Katsaros
%T FSDS: Fairchilds's software development system
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 134-138

%A Ronald L. Krutz
%T The microprocessor: out of control ?
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 139-142

%A Douglas A. Anderson
%T Computer aids for the fabrication of large microprogram read-only memories
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 144-149

%A A.M. Abd-Alla
%A Laird H. Moffett
%T Hardware implementation of loop trace and microprogram synthesis
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 150-154

%A Michael Minkoff
%T A modularized package of dual algorithms
for solving constrained nonlinear programming problems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 159-162

%A John C. Knight
%A William G. Poole,\ Jr.
%A Robert G. Voigt
%T System balance analysis for vector computers
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 163-168

%A Gabor T. Herman
%A Arnold Lent
%A Peter H. Lutz
%T Iterative relaxation methods for image reconstruction
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 169-174

%A Gregory R. Andrews
%T Partitions and principles for secure operating systems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 177-180

%A Robert L. Hedges
%A Udo W. Pooch
%T A measure for program locality in demand paging
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 181-186

%A Dale H. Grit
%A Richard Y. Kain
%T An analysis of a use bit page replacement ANG
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 187-192

%A C.V. Ravi
%T A distributed file system
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 193-197

%A Kenneth J. Thurber
%A Peter C. Patton
%T Page size selection for a real time computer
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 198-203

%A Dennis J. Failey
%T Should high level languages be used to write systems software ? a debate
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 205

%A James J. Horning
%T Yes! High level languages should be used to write systems software
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 206-208

%A Heywood S. Osborne
%T Yes! High level languages should be used to write systems software
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 208

%A John G. Fletcher
%T No! High level languages should not be used to write systems software
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 209

%A James E. Kalan
%T No! High level languages should not be used to write systems software
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 210

%A Kurt Maly
%T Programming and its implication on programming languages:
overview and introduction
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 213-214

%A Peter J. Denning
%T Two misconceptions about structured programming
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 214-215

%A P.J. Plauger
%T Signal and noise in programming language
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 216

%A J.T. Schwartz
%T The problems of programming and the design of programming languages
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 216-218

%A P.C. Wood
%T Through a glass darkly
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 218-219

%A J.M. Yohe
%T Comments on the topic
"programming, and its implication on programming languages"
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 219-220

%A M.H. Halstead
%T Toward a theoretical basis for estimating programming effort
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 222-224

%A Michael Hammer
%T The design of usable programming languages
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 225-229

%A Mehdi Jazayeri
%A Kenneth G. Walter
%T Alternating semantic evaluator
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 230-234

%A Robert E. Noonan
%T Towards a canonical form for computer programs
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 235-240

%A Alan W. Biermann
%T The use of examples in program construction and debugging
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 242-247

%A Ralph E. Griswold
%T Extensible pattern matching in Snobol4
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 248-252

%A Marvin V. Zelkowitz
%T Third generation compiler design
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 253-258

%A W.S. Brown
%T A new look at ALTRAN
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 260

%A Martin L. Griss
%T The REDUCE system for computer algebra
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 261-262

%A J. Moses
%T Current capabilities of the MACSYMA system
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 263-264

%A James H. Griesmer
%A Richard D. Jenks
%T The SCRATCHPAD system
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 266-267

%A Carl Engelman
%T Mathlab tutorial
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 268-269

%A B.F. Caviness
%A Michael Rothstein
%T A modular greatest divisor algorithm for Gaussian polynomials
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 270-273

%A James R. Pinkert
%T SAC-1 variable precision floating point arithmetic
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 274-276

%A W.R. Franta
%T Simulation: a state of the art tutorial
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 279-280

%A Leon Presser
%T Software management
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 283-285

%A F.T. Baker
%T Software management through improved programming technology
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 286-287

%A George P. DiNardo
%T Software management and the impact of improved programming technology
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 288-290

%A Henry C. Lucas,\ Jr.
%T On the failure to implement structured programming and other techniques
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 291-293

%A Richard H. Thayer
%T The Air Force software manager
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 294-297

%A Anthony I. Wasserman
%T Programming environments and software engineering
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 299

%E Thomas E. Bell
%T Software product assurance (panel discussion)
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 300-302

%A William S. Bregar
%T A heuristic approach to scheduling assignments
for the purpose of evaluating school floorplans
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 304-307

%A Daniel L. Klassen
%T Computer simulations
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 308-310

%A Russell W. Burris
%T CAI programs at the University of Minnesota
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 311-315

%A Daniel D. McCracken
%T Tow to teach structured Cobol to beginners
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 316-321

%A Dileep P. Bhandarkar
%A J. Egil Juliussen
%T A comparative evaluation of the cost effectiveness of computer systems
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 323-324

%A John G. Fletcher
%T Principles of design in the Octopus computer network
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 325-328

%A Shi-Kuo Chang
%T A heuristic procedure for distributed computer system design
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 329-336

%A S.B. Yao
%T Tree structures construction using key densities
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 337-340

%A Gordon C. Everest
%T Computer user and vendor legal issues
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 341-342

%A Myron R. Compton
%A Marvin D. Erickson
%T A computer controlled cartridge case quality assurance inspection system
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 348-352

%A Ted Herman
%T Organic program design
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 356

%A William E. Kennedy
%T An educational version of a symbol manipulation language
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 357-358

%A Eric Kintzer
%T Translating data base procedures
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 359-360

%A Robert Novak
%A Aaron Chun
%A Jay Goldberg
%A Bernard Sivin
%T JABR 265
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 361

%A David L. Schafer
%T MAPS data base information systems: a System 2000 application
%J Proceedings of the 1975 ACM Annual Conference:
Computers and the Quality of Life
%C Minneapolis, Minnesota
%D October 1975
%E John D. White
%K acm75
%P 362-363

%A R.E. Millstein
%T The national software works
%J Proceedings of the 1977 ACM Annual Conference
%C Seattle, Washington
%D October 1977
%K acm77
%P 44-52
%K NSW

%A J.T. Schwartz
%T The interplay between mathematics and computer science
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 1-9

%A Richard E. Nance
%T Stylitism, synergism, and syncretism:
the interface of computer science and operations research
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 10-14

%A Marian Boykan Pour-El
%T Computer science and recursion theory
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 15-20

%A Alan C. Tucker
%T Computer science core curriculum and mathematics
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 21-24

%A S.D. Conte
%T Computer science and numerical analysis
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 25-26

%A S. Jerrold Kaplan
%T On the difference between natural language and high level query languages
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 27-38

%A Laurent Siklossy
%T Impertinent question-answering systems: justification and theory
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 39-44

%A George E. Heidorn
%T Natural language dialogue for managing an on-line calendar
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 45-52

%A A.A.J. Hoffman
%T A proposed Masters degree in software engineering
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 54-57

%A Richard E. Fairley
%T Educational issues in software engineering
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 58-62

%A Leon G. Stucki
%A Lawrence J. Peters
%T A software engineering graduate curriculum
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 63-67

%A F. Saheban
%A A.D. Friedman
%T Diagnostic and computational reconfiguration in multiprocessor systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 68-78

%A S.S. Reddi
%T A modular computer with Petri net array control
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 79-85

%A Mary Jane Irwin
%T Reconfigurable pipeline systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 86-92

%A Raymond Woodcock
%T A vocational-technical high school program
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 93-98

%A Thomas H. Athey
%T Small business - a gold mine for D.P. educators
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 99-105

%A Mary Shaw
%A Gary Feldman
%A Robert Fitzgerald
%A Paul Hiflinger
%A Izumi Kimura
%A Ralph L. London
%A Jonathan Rosenberg
%A Wm.A. Wulf
%T Validating the utility of abstraction techniques
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 106-110

%A Richard C. Holt
%A David B. Wortman
%A James R. Cordy
%A David R. Crowe
%T The Euclid language: a progress report
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 111-115

%A Donald I. Good
%A Richard M. Cohen
%A Lawrence W. Hunter
%T A report on the development of Gypsy
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 116-122

%A Russell B. Atkinson
%A Barbara H. Liskov
%A Robert W. Scheifler
%T Aspects of implementing CLU
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 123-129

%A Clayton V. Aucoin
%T Computer science and graduate education in applied mathematics
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 132-137

%A Shmuel Winograd
%T Complexity of computations
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 138-141

%A E.L. Battiste
%T Computer science and statistics
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 142-146

%A E.P. Miles,\ Jr.
%T Computer related curricular changes in traditional mathematics
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 147-155

%A William A. Martin
%T Some comments on EQS, a near term natural language data base query system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 156-164

%A Larry R. Harris
%T The ROBOT system: natural language processing applied to data base query
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 165-172

%A Bozena Henisz Thompson
%A Frederick B. Thompson
%T Rapidly extendable natural language
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 173-182

%A Steven L. Jamison
%T Employing a deaf programmer
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 185-189

%A C.H. Sequin
%A A.M. Despain
%A D.A. Patterson
%T Communication in X-tree, a modular multiprocessor system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 194-203

%A Svetlana P. Kartashev
%A Steven I. Kartashev
%T A powerful modular computer on a universal building module
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 204-209

%A L. Simoncini
%A A.D. Friedman
%T Incomplete fault coverage in modular multiprocessor systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 210-216

%A Lewis M. Norton
%T A program generator package for management of data files - the input language
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 217-222

%A Jon D. Clark
%T A utility for the generation of a preliminary data/dictionary directory
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 223-229

%A Michael Andrew Christenson
%A Mary Anne Herndon
%T Queasy: the design and implementation
of a management information system for casual users
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 230-233

%A Olin H. Bray
%A Harvey A. Freeman
%T Data usage and the data base processor
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 234-240

%A M. Dennis Mickunas
%A Richard M. Schell
%T Parallel compilation in a multiprocessor environment (extended abstract)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 241-246

%A John N. Crawford
%A Mehdi Jazayeri
%T Engineering a program optimizer
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 247-253

%A D. Dromard
%A F. Dromard
%T Direct execution of an algebraic oriented language
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 254-260

%A Diane Pozefsky
%A Mehdi Jazayeri
%T A family of pass-oriented attribute grammar evaluators
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 261-270

%A Roger H. Shannon
%A karen A. Duncan
%T Why a curriculum in health computing ?
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 273-276

%A K.A. Duncan
%A R.H. Austing
%A S. Katz
%A R.E. Pengov
%A R.E. Pogue
%A A.I. Wasserman
%T Health computing: curriculum for an emerging profession;
report of the ACM curriculum committee on health computing education
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 277-285

%A Yaohan Chu
%T Direct execution in a high-level computer architecture
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 289-300

%A Harvey Abramson
%A Mark Fox
%A Michael Gorlick
%A Vince Manis
%A John Peck
%T The PICA-B computer - an abstract target machine
for a transportable single-user operating environment
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 301-309

%A J.A. Feldman
%A J.R. Low
%A P.D. Rovner
%T Programming distributed systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 310-316
%K RIG DSYS

%A Per Brinch Hansen
%T Multiprocessor architectures for concurrent programs
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 317-323

%A John C. Ostgaard
%T A simulation support system capable of
control, monitoring and simulation of airborne systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 327-333

%A Carmine A. Vaccarino
%A George Konomos
%T Real-time simulation for verification of tactical electronic warfare system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 334-341

%A John G. Allee,\ Jr.
%A Robert L. Williams
%T A syntactic schema and algorithm for language arts CAI
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 342-345

%A Peggy R. Wright
%A Barry W. Brown
%T A processor for providing friendly environments
for frequently used application packages
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 346-350

%A Kevin W. Bowyer
%A Peter N. Marinos
%T Proposal for a shared resource computing utility
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 351-356

%A Michael Levin
%T An introduction to DIAM levels of abstraction in accessing information
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 357-369

%A William E. Wright
%T Dynamic binary search trees
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 370-374

%A Leland L. Beck
%T A relational problem definition language for structured data processing
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 375-384

%A Patrica H. Baucom
%T Software blueprints
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 385-392

%A Ted J. Biggerstaff
%T Factored specifications in the synthesis of Lisp functions
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 393-402

%E Mari Skarbo
%T What employers look for in hiring computer science graduates
(panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 405-408

%A Kenneth Wexler
%T A formal theory of language acquisition
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 409-413

%A Sharon C. Salveter
%T Inferring conceptual structures from pictorial input
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 414-420

%A Brian MacWhinney
%T Conditions on acquisitional models
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 421-427

%E James A. Senn
%T Case studies on the implementation and use of database management systems:
experience with resistance (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 428-431

%A Robert C. Goldstein
%T Modeling computer privacy costs
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 433-440

%A William H. Dutton
%A Kenneth L. Kraemer
%T Executive support for urban technology: the case of computing
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 441-452

%A Paul A. Karger
%T The lattice security model in a public computing network
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 453-459

%A James R. Yee
%T On bounding distributions for stochastic networks
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 462-466

%A Bruce L. Golden
%T Closed-form statistical estimates
on optimal solution values to combinatorial problems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 467-470

%A C. Leung
%T Some open problems in cryptography
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 471-475

%E A. Aho
%T Tools for automatic compiler generation (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 476-477
%K Yacc, PQCC

%E Marvin
%T Alternative approaches to wiring the office of the future (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 478-479

%A Ivo Babuska
%A Werner C. Rheinboldt
%T On a system for adaptive, parallel finite element computations
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 480-489

%A Paul S. Jensen
%T An engineering analysis system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 490-495

%A Amrit L. Goel
%A Kazu Akumoto
%T An analysis of recurrent software errors in a real-time control system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 496-501

%A Michael G. Walker
%T Managing reliable software
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 502-506

%A B. Lanergan
%A B. Poynton
%T Software engineering with standard assemblies
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 507-514

%A M.H. Williams
%T Yet another conversational programming language - BPL
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 515-521

%A Alfred C. Weaver
%T A real-time, multi-task programming language
for microprocessor-based industrial process control
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 522-525

%A Victor S. Foster
%T MIDAS - a mid-level language for microprocessors
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 526-529

%A David Burress
%T The Wisconsin tax model system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 531-538

%A Leland Blank
%A Sallie Nelson
%T Developing and prioritizing data processing applications for municipalities
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 539-546

%A Richard D. Hackathorn
%T Research issues of personal computing within the corporate environment
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 547-551

%A H.E. Dunsmore
%A J.D. Gannon
%T Programming factors -
language features that help explain programming complexity
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 554-560

%A Jeanne M. Lee
%A Ben Shneiderman
%T Personality and programming: time-sharing vs. batch preference
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 561-569

%A J.D. Gannon
%T Characteristic errors in programming languages
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 570-575

%A Norman Statland
%T The impending impact of distributed information systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 576-584

%A P.B. Powell
%A P. Thompson
%T Natural language and voice output for relational data base systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 585-595

%A Stewart N.T. Shen
%T A semantic approach in designing relational data bases
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 596-601

%A James R. Driscoll
%A Beverly A. Dutton
%A Kathryn C. Kinsley
%T A relational storage scheme suitable for derived views
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 602-611

%A G. Rothbart
%A R. Fullwood
%A H.O. Conde
%T Automatic data acquisition and processing of train deceleration
for rapid transit train systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 612-616

%A J. Russell Hogan
%T A correlation echo sounder processor
used to provide reliable bottom depth data for profiling
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 617-621

%A Satish L. Rege
%A John Grason
%T Computer aided design of digital systems: data part exploration
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 622-629

%A Bengt Nordstrom
%T Assignments and high level data types
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 630-638

%A D.R. Chand
%A S.B. Yadav
%T On the application of data abstraction facilities
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 639-645

%A Bengt Nordstrom
%T Programming with abstract data types - some examples
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 646-654

%A Murray Turoff
%A Starr Roxanne Hiltz
%T User behavior patterns in the electronic information exchange system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 659-665

%A Rob Kling
%T Automated information systems as social resources in policy making
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 666-674

%A Abbe Mowshowitz
%T Computers and ethical judgement in organizations
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 675-683

%A Charles E. Donaghey
%T Cellsim: a digital simulation language for cell kinetic modelling
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 684-697

%A Robert S. Ledley
%A Yeshwant G. Kulkarni
%A Chan M. Park
%A Menfai R. Shiu
%A Louis S. Rotolo
%T TEXAC/PICTOL: a texture analysis computer and its special purpose language
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 698-703

%A M. Catherine Neal
%A Linda G. Shapiro
%T A portable graphics system for minicomputers
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 704-712

%A E.S. Joline
%T "USS transit station simulation" demonstration and documentation film
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 713-714

%A E.D. Willmert
%T Graphic display of human motion
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 715-719

%A Bernard C. Levrat
%A Jurgen Harms
%A Christian Pellegrini
%A Maurice Henger
%A Robert M. Aiken
%T An input system designed to aid users of interactive graphics
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 720-724

%A Stephen W. Smoliar
%T A lexical analysis of labanotation with an associated data structure
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 727-730

%A T.W. Calvert
%A J. Chapman
%T Notation of movement with computer assistance
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 731-736

%A L. Weber
%A S.W. Smoliar
%A N.T. Badler
%T An architecture for the simulation of human movement
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 737-745

%A Margaret A. Boden
%T Social implications of intelligent machines
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 746-752

%A Walter Maner
%T Curriculum generators: some design problems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 753-758

%A Frederic I. Parke
%A Mark Friedell
%T Interactive simulation of biomechanical systems:
the kinematics and stress of the human knee
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 759-764

%A Henry Fuchs
%A Zvi M. Kedem
%T The "highly intelligent" tablet
as an efficient pointing device for interactive graphics (preliminary report)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 765-769

%A C.M. Brown
%A A.A.G. Requicha
%A H.B. Voelcker
%T Geometric modeling systems for mechanical design and manufacturing
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 770-778

%E John Palaimo
%T Analysis of software experience data (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 779-780

%E Terry A. Straeter
%T Software validation and verification - a state of the art report
(panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 781-785

%A David C. Luckham
%T A brief account: implementation and applications of a Pascal program verifier
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 786-792

%A Joyce Currie Little
%T An overview of ACM guidelines and recommendations
for a community and junior college career program in computer programming
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 793-797

%A Iva Helen Lee
%A Claudia Elizabeth Plog
%T A design for a community/junior college curriculum
with options for two neighboring institutions
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 798-806

%A John T. Gorgone
%A John F. Schrage
%T A design of the education of computer programmers at the associate level
within a baccalaureate level institution
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 807-811

%A Donald H. Beil
%T The data processing curriculum
of the National Technical Institute for the Deaf:
a suggested implementation for an AAS degree program in computer programming
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 812-821

%E Bruce Puerling
%T Whither goeth Fortran ? (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 822-824

%A Philip A. Coates
%T Directory-assisted abbreviated name entry: telephone dialing by name
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 827-833

%A Thomas C. Irby
%T Minimizing the retrieval time of scatter storage techniques
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 834-839

%A Ward Douglas Maurer
%T A very small information retrieval system
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 840-842

%E Richard K. Brewer
%T Computer generated exams and related issues (panel discussion)
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 843-844

%A Lorrie Lawrence Hoffman
%T Test gen: a tool for emancipation from traditional instruction
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 845-848

%A Jesse M. Heines
%T The use of interactive, computer-managed instruction
to control the quality of self-paced training
without requiring the presence of an instructor
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 849-854

%A Abraham Silberschatz
%T Serializability in multi-level monitor environments
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 855-861

%A David B. Lomet
%T Multi-level locking with deadlock avoidance
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 862-867

%A Charles M. Shub
%T Preemption costs in round robin scheduling
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 868-874

%A Aaron Tenenbaum
%A Erik Widder
%T A comparison of first-fit allocation strategies
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 875-883

%A Allen B. Tucker,\ Jr.
%A Giuliano Gnugnoli
%A Long Vo Nguyen
%A Bedrich Chaloupka
%T Implementation considerations for machine translation
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 884-890

%A Joe W. Duran
%T Heuristics for program synthesis using loop invariants
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 891-900

%A L.A. Cox,\ Jr.
%T Predicting concurrent computer system performance using Petri-net models
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 901-913

%A T. Kasai
%A A. Adachi
%A S. Iwata
%T Classes of pebble games and complete problems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 914-918

%A Hsu Chang
%T Interpretation of query-by-example language in bubble hardware language
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 919-924

%A Jayanta Banerjee
%A David K. Hsiao
%T A methodology for supporting existing CODASYL databases
with new database machines
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 925-936

%A L. Lichten
%A E.B. Fernandez
%T Interaction with databases through procedural languages
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 937-945

%A R.D. Armstrong
%A D.S. Kung
%T A dual method for discrete Chebychev curve fitting
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 946-953

%A C.P. Huang
%T An efficient algorithm for computing powers of triangular matrices
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 954-957

%A Edward Hill,\ Jr.
%T Discrete rational approximation in the L1 and Linf norms
using the simplex method
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 958-963

%A Sidney Diamond
%T Contents of a meaningful plan
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 964-971

%A David W. Embley
%T Forms-based automatic program generation
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 972-979

%A Kilnam Chon
%T Information processing in electricity distribution systems
%J Proceedings of the 1978 ACM Annual Conference
%C Washington, D.C.
%D December 1978
%K acm78
%P 980-984

%A Ralph E. Griswold
%T The Icon programming language
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 8-13

%A Kenneth A. Bowen
%T Prolog
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 14-23

%A Rpbert B.K. Dewar
%A Edmond Schonberg
%T The elements of SETL style
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 24-32

%A Lambert Meertens
%T Abstracto 84: the next generation
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 33-39

%A Tamira Bonar
%A James Driscoll
%T A very easy hierarchical DBMS implementation
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 45-53

%A Fred J. Maryanski
%A Kirk A. Norsworthy
%T A model of the performance of a rollback algorithm
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 54-61

%A A. Timothy Maness
%A Sue M. Dintelman
%A Mark H. Skolnick
%T Automatic program generation
for processing a high level relational-like query language
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 62-68

%A Kathryn C. Kinsley
%A James R. Driscoll
%T Dynamic derived relations with the REQUEL II DBMS
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 69-80

%A R.H. Campbell
%A R.B. Kolstad
%T Practical applications of Path Pascal in systems programming
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 81-87

%A Jack C. Wileden
%T DREAm - an approach to designing large scale, concurrent computer systems
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 88-94

%A Art Grand
%T Issues in the design of concurrent programming languages
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 95-101

%A Thomas I.M. Ho
%T Business data processing education: teaching in the 80's
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 106-109

%A Stephen W. Smoliar
%T A computer aid for Schenkerian analysis
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 110-115

%A James R. Meehan
%T An artificial intelligence approach to tonal music theory
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 116-120

%A John Rothgeb
%T Simulating musical skills by digital computer
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 121-125

%A Norman F. Salt
%T 70's programming style for a developing country
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 128-134

%A W.S. Faught
%A D.A. Waterman
%A P. Klahr
%A S.J. Rosenschein
%A D.M. Gorlin
%A S.J. Tepper
%T EP-2, a prototype exemplary programming system
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 135-142

%A David J. Schultz
%T A case study in system integration using the build approach
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 143-151

%A J. Mack Adams
%A james Armstrong
%A Melissa Smartt
%T Assertional checking and symbolic execution:
an effective combination for debugging
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 152-156

%A Neldon H. Marshall
%T An overview of Fortran standarization activities
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 164-167

%A Walt Brainerd
%T A "core + modules" approach to Fortran standardization
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 168-169

%A J.L. Wagener
%T Loop constructs - a design for Fortran
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 170-174

%A Richard A. Hendrickson
%T Array processing extensions to Fortran
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 175-178

%A E. Jane Powanda
%T Computers help solve problems in multinational corporations
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 179-187

%A Arthur Pyster
%A Charles Dana
%A Roger Wood
%T Modeling the binding policies of programming languages
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 193-202
%K PASTE

%A Billy G. Claybrook
%A James Craig Cleveland
%A Donald Criscione
%T Logical structure specification and data type definition
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 203-211

%A Fred Calm
%A John R. White
%T An extension to algebraic specifications to incorporate state behavior
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 212-220

%A William E. Wright
%T Organizing and accessing files
for magnetic bubble memory and charge coupled devices
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 221-227

%A Bruce W. Ballard
%A Alan W. Biermann
%T Programming in natural language: "NLC" as a prototype
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 228-237

%A Vincent J. Digricoli
%T Automatic deduction and equality
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 240-250

%A Henry K. DeWitt
%T Applications of the theory of random graphs
to average algorithm performance analysis
%J Proceedings of the 1979 ACM Annual Conference
%C Detroit, Michigan
%D October 1979
%E Arvid L. Martin
%E James L. Elshoff
%K acm79
%P 251-258

%A Walter M. Carlson
%T Business information analysis and integration technique:
finding the big payoff areas
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 3-16

%A James R. Carter
%T The added dimension of geographic data
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 17-18

%A Robert T. Aangeenbrug
%T The Map Information Facility -
a cooperative federal and private venture in geocoding
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 19-28

%A Robert B. Honea
%A Paul E. Johnson
%T Computer mapping and geographical analysis:
some observations based on experience
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 29-41

%A Morton A. Meyer
%T Geographic base files and the world of Polk
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 42-48

%A Paul M. Wilson
%T The application of computer graphics to environmental planning
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 49-57

%E L.R. Cottrell
%T Computer personnel recruitment (panel session)
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 58-59

%A Nambury S. Raju
%T Person-job matching in the eighties
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 60-65

%A R.S. Ledley
%A L.S. Rotolo
%A M. Buas
%T Computerized electro neuro opthalmograph
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 66-74

%A Paul R. Fisher
%A David J. Kurlander
%T Microcomputers in medical diagnosis
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 75-79

%A Jack L. Neal
%T Computer assisted patient chart filing system
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 80-83

%A Prakash Agarwal
%A Roland Priemer
%T A microprogrammable dual processor based fast digital filter
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 84-92

%A Hollis V. Arban
%T ANS MUMPS in a multi-lingual operating system
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 93-96

%A Robert E. Lushene
%T Learning and using NAS MUMPS - a programmer's perspective
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 97-100

%A David B. Sherertz
%T The evolution of a language standard: MUMPS in the 1980s
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 101-104

%A R.D. Parslow
%T The computerized destruction of western civilization
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 107-112

%A Donald R. Chand
%T One man's view of training in structured methods
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 114-117

%A Allan R. Moore
%A Richard S. Kopp
%T Educational experiences in industrial software engineering
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 118-122

%A B.A. Sheil
%T Teaching procedural literacy (presentation abstract)
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 125-126

%A Paul P. Howley,\ Jr.
%A james S. Ketchel
%A Michael G. Rowloff
%T A methodology for preparing the computer professional for certification
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 129-139

%E Frank Melansson
%T Soft documentation -
challenges and techniques for handling mixed-media documents (panel discussion)
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 142-145

%A J. Jose Cortez
%T EDP documentation - "human communications software" in the computer age
(presentation abstract)
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 146-149

%A Eugene M. Strand
%T Documentation for in-house sharing of software
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 150-155

%A Ming T. Liu
%A Sandra A. Mamrak
%A Jayashree Ramanathan
%T The distributed double-loop computer network (DDLCN)
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 164-178

%A Charles P. Smith
%T A software science analysis of programming size
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 179-185

%A Aaron Tenenbaum
%T Memory utilization efficiency under a class of first-fit algorithms
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 186-190

%A James Wittneben
%A Dennis Kafura
%T A simple reference string sampling method
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 191-196

%A Alfa T. Berztiss
%T Data abstraction, controlled iteration, and communicating processes
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 197-203

%A Kuo-Ching Tai
%T Locally minimum-distance correction of syntax errors in programming languages
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 204-210

%A S.A. Thoreson
%A A.E. Oldehoeft
%T Instruction reference patterns in data flow programs
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 211-217

%A A.R. Tripathi
%A W.D. Young
%A D.I. Good
%T A preliminary evaluation of verifiability in Ada
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 218-224

%A Billy G. Claybrook
%A Marvin P. Wyckoff
%T module: an encapsulation mechanism
for specifying and implementing abstract data types
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 225-235

%A J. Craig Cleaveland
%T Programming languages considered as abstract data types
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 236-245

%A Johannes J. Martin
%T FAD, a functional programming language that supports abstract data types
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 247-262

%A William E. Carlson
%A Larry E. Druffel
%A David A. Fisher
%A William A. Whitaker
%T Introducing Ada
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 263-271

%A B.K. Wiersba
%T Improving white collar productivity
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 274-276

%A Ronald W. Helms
%T A distributed flat file strategy for managing research data
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 279-285

%A R.H. Strand
%A M.P. Farrell
%T Processing PDP-11 files into IBM file structures
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 286-297

%A H.M. Polovino
%A M.P. Farrell
%A R.H. Strand
%T A computer-based coding scheme for research data
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 298-306

%A M.E. Vansuch
%A R.H. Strand
%A M.P. Farrell
%T Computer aided cinematography techniques for model validation
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 307-315

%A Kenneth L. Modesitt
%T Software engineering training for middle managers at Texas Instruments
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 316-322

%A Kenneth T. Orr
%T Structured programming in the 1980s
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 323-326

%A John F. Schrage
%T Educator's view of structured concepts
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 327-341

%A Mack Alford
%T Software requirements in the 80's: from alchemy to science
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 342-349

%A Kenneth T. Orr
%T Structured requirements definition in the 80s
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 350-354

%A Gregory L. Smith
%A Sharon A. Stephens
%A Leonard L. Tripp
%A Wayne L. Warren
%T Incorporating usability into requirements engineering tools
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 355-368

%A D. Tsichroew
%A H. Sayani
%T Computer-aided requirements engineering
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 369-381

%A Harvey A. Freeman
%A John R. Jordan
%T Another approach to the data base computer
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 382-388

%A Fred J. Maryanski
%A Puree Charoenpong
%T An architecture for fault tolerance in database systems
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 389-398

%A C. Mohan
%T Distributed data base management: some thoughts and analyses
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 399-410

%A Don-Min Tsou
%A Patrick C. Fischer
%T Decomposition of a relation schemes into Boyce-Codd normal form
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 411-417

%A Ola-Olu A. Daini
%A Peter Scheuermann
%T A data definition and mapping language for numerical data bases
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 418-432

%A Kevin C. O'Kane
%A Richard J. Hildebrandt
%T Generalized protocol driven problem oriented
clinical data management and monitoring
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 433-438

%A Thomas P. Koehler
%T TECHGRAPH, technical computer graphics,
a program package for computer aided design
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 439-452

%A E.P. Miles,\ Jr.
%T Creative art and custom interior design in the 80's
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 453-456

%A B.D. Chaudhary
%A H.V. Sahasrabuddhe
%T Meaningfulness as a factor in program complexity
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 457-466

%A John Clement
%A Jack Lockhead
%A Elliot Soloway
%T Positive effects of computer programming
on students's understanding of variables and equations
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 467-474

%A H.E. Dunsmore
%T Designing an interactive facility for non-programmers
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 475-483

%A N. Ram
%T Effectiveness of paradigmatic approach in teaching programming
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 484-489

%A Ralph Grishman
%T The PUMA project: computer design automation in the University
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 490-497

%A Mahdi Jazayeri
%A Diane Pozefsky
%T A space improvement in the alternating semantic evaluator
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 498-504

%A William E. Wright
%T An empirical evaluation of algorithms
for dynamically maintaining binary search trees
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 505-515

%A John Tartar
%T Multiprocessor hardware: an architectural overview
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 518-526
%K bibliography

%A Peter Hibbard
%T Multiprocessor software design
%J Proceedings of the 1980 ACM Annual Conference:
Previewing the Computer Age
%C Nashville, Tennessee
%D October 1980
%K acm80
%P 527-536
%K bibliography

%A E.E. Balkovich
%A J.A. Morse
%T Performance of distributed software implemented by a contention bus
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 39-45

%A D.R. Cheriton
%T The design of a distributed kernel
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 46-52

%A F. Chin
%A G. Ozsoyoglu
%T Auditing for secure statistical databases
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 53-59

%A M. Damodaran
%A A. Hazra
%T Methods for system simulation on a restricted data flow architecture
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 60-66

%A M. Morgenstern
%T Strategies for database schema acquisition and design
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 67-71

%A C. Daiute
%A R. Taylor
%T Cos and the improvement of writing
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 83-88

%A W.J. Hansen
%T The structure of "data structures"
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 89-95

%A R.J. Thomas
%A J.A. Kirkham
%T Structured systems analysis and the problem statement language (PSL)
as a combined methodology in the teaching of system analysis and design
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 96-100

%A H. Wertz
%T Some ideas on the education use of computers
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 101-107

%A T.A. Marsland
%A M. Campbell
%T A survey of enhancements to the alpha-beta algorithm
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 109-114

%A N.C.L. Beale
%A S.L. Peyton Jones
%T An Ada compatible specification language
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 139-143

%A A.G. Discepolo
%T Towards a practical specification language
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 144-153

%A A. Giacomucci
%A F.L. Friedman
%T Capsules: a data abstraction facility for Pascal
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 154-160

%A D.V. Moffat
%T Conformant arrays and strong typing
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 161-163

%A W.K. King
%T Continuing education services of the IEEE Computer Society
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 175-178

%A K.Y. Lee
%T Status of graduate software engineering education
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 179-183

%A J.S. Ketchel
%A J.R. Douglas
%T Self-assessment as a precursor to professional development
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 184-187

%A N. Martin
%T Industrial software training opportunities for computer professionals
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 188-193

%A J.R. Sopka
%T The role of certification in fostering professional development
in the field of computing
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 194-197

%A J.E. Sammet
%A D.W. Waugh
%A R.W. Reiter,\ Jr.
%T PDL/Ada - a design language based on Ada
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 217-229

%A J.S. Ketchel
%T Certification for the computer professional
- individual preparation strategies
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 234-238

%A D.R. Callaghan
%T The changing role of the EDP manager
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 247-253

%A M.D. Davis
%A E.J. Weyuker
%T Pseudo-oracles for non-testable programs
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 254-257

%A D.A. Feinberg
%T Computer network operations - making it all go at once
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 258-262

%A L. Logrippo
%T Input-directed program design
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 263-267

%A K.S. Mendis
%T Quantifying software quality
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 268-273

%A P.G. Barker
%T Some experiments in man-machine interaction
relevant to computer assisted instruction
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 295-301

%A R. Danielson
%A P. Rolander
%T An experimental vehicle for the user/filing-system interface
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 302-305

%A W. Haas
%A M. Mrva
%A W. Tengler
%T Pictorial man-machine communication
%J Proceedings of the 1981 ACM Annual Conference
%C Los Angeles, California
%D November 1981
%K acm81
%P 306

%A Daniel S. Schlusselberg
%A Wade K. Smith
%A Margaret H. Lewis
%A Bradley G. Culter
%A Donald J. Woodward
%T A general system for computer-based
acquisition, analysis and display of medical image data
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 18-25

%A J. Cheung
%A S. Dhall
%A S. Lakshmivarahan
%A L. Miller
%A B. Walker
%T A new class of two stage parallel sorting schemes
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 26-29

%A Ilkka J. Haikala
%T More design data for stack architectures
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 30-36

%A Michael Bauer
%A Sylvia Osborn
%T A graphical model of procedures for an automated manager's assistant
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 37-43

%A Douglas R. McCallum
%A James L. Peterson
%T Computer-based readability indexes
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 44-49

%A Charles H. Minchew
%A Kuo-Chung Tai
%T Experience with porting the portable C compiler
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 52-63

%A Georg Lausen
%T Concurrency control in database systems:
a step towards the optimistic methods and locking
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 64-68

%A Lynn Arthur Steen
%A J. Arthur Seebach,\ Jr.
%T Using microcomputers as satellites in a time-sharing environment
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 69-72

%A Kemal Koymen
%T A prototype DBMS with a Turkish query language
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 73

%A Ariel Pashtan
%T Object oriented operating systems: an emerging design methodology
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 126-131

%A Thomas Cook
%T APL tools and techniques and their effect on good programming style
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 132-141

%A J. Hagelstein
%T Proving properties of shared data structures
- application to functional programming
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 142-148

%A Phillip Crews
%A Darrell Ward
%A Jerry Mungle
%T Ada requirements methodology (ARM)
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 149-155

%A K.V.S. Bhat
%T Algorithms for finding diagnosability level and t-diagnosis
in a network of processors
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 164-168

%A Dennis Leinbaugh
%T High level description and implementation of resource schedulers
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 169-175

%A Camille C. Price
%T Task allocation in distributed systems:
a survey of practical strategies
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 176-181

%A Neil Singleton
%A Ronnie G. Ward
%T Lamport's algorithm reconsidered
%J Proceedings of the 1982 ACM Annual Conference
%C Dallas, Texas
%D October 1982
%K acm82
%P 182-185

%A K. Thurber
%A H. Freeman
%A N. Schmidt
%T Local network selection criteria
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 5-8

%A K. McKeown
%T Natural language systems: how are they meeting human needs ?
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 9-10

%A L. Ball
%T Secure use of personal workstations and local area networks
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 13-14

%A J. Wilson,\ Jr.
%T On-line internation cash management
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 21-26

%A L. Bodin
%T Solving large vehicle routing and scheduling problems in small core
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 27-37

%A D. McCulley
%T Computer budgeting of mineral holdings
for a small scale mining operation
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 38-41

%A P. Bonissone
%T DELTA: an expert system to troubleshoot diesel electric locomotives
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 44-45

%A P. Matthews
%T A new computer-assisted instruction system for Unix systems
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 47-50

%A G.E. Galloway
%T From mainframe to micro: moving a freshman computer course
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 51-54

%A J. Loase
%A B. Monahan
%T A study of the relationship between job requirements
and academic requirements in computer science
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 55-65

%A G. Corliss
%T Using Ada as a design language - classroom experience
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 66-71

%A D. Grimes-Farrow
%T Human factors training and awareness
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 73-78

%A W. Nugent
%A J. Harding
%T Optical storage of paper images and pictorial data
- opportunities and needed advances in information retrieval
%T 79-82

%A G. Briscoe
%T Health and safety aspects of office automation
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 83-115

%A J. Meads
%T Defining the ergonomic buzzwords
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 116-122

%A M. Smid
%T Public cryptographic outlook
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 128-129

%A W. Schultz
%T TurboDOS a multiprocessor operating system
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 138-139

%A D. Spooner
%T Specification of content-dependent security policies
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 141-145

%A R. Kleffman
%A R. Glesener
%A J. Brzeczek
%T Reducing risk for central site equipment moves
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 146-154

%A T. Choi
%A R. Miller
%T Network protocol: a structured approach
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 155-163

%A D.F. Beal
%T Recent progress in understanding minimax search
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 164-169

%A J. Schaeffer
%T Long-range planning in computer chess
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 170-179

%A A. Fink
%T Are we becoming addicted to computers ?
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 180-184

%A J. Greaves
%A A. Bailey
%T Software testing and the PABX
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 185-192

%A H. Farsi
%A J. Tartar
%T A relational data base machine
employing associative memories and transposed files
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 193-199

%A M. Olson
%T Office automation and the changing definition of the workplace
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 202-203

%A D. Lefkovitz
%A D. Toliver
%T Sci-mate - a microcomputer system
for online search and personal file management
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 205-207

%A R. Robinson
%T A text management innovation
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 209-211

%A P. Zave
%T Operational specification languages
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 214-222

%A A. Steele
%A B. Nowell
%T Conceptual prototyping
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 226-228

%A J. Anderson
%T Autonomous systems intelligence
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 229-233

%A A. Talbot
%T Finished musical scores from the keyboard
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 234-239

%A R. Fairley
%A N. Martin
%T Software engineering programs
at the Wang Institute of Graduate Studies
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 240-250

%A B. Konsynski
%A J. Nunamaker
%T The MBA and MIS: the integration of MIS and management education
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 251-261

%A T. Kurtz
%A A. Morton
%T Combining management and technology
in a Master's degree for information system professionals
%J Proceedings of the 1983 ACM Annual Conference:
Computers: Extending the Human Resource
%C New York City
%D October 1983
%K acm83
%P 262

%A Vipin Kumar
%T Integrating knowledge in problem solving search procedures
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 5-10

%A William J. Clancey
%T Knowledge acquisition for classification expert systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 11-14

%A Reid G. Smith
%A Robert L. Young
%T The design of the dipmeter advisor system
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 15-23

%A J.R. Wright
%A F.D. Miller
%A G.V.E. Otto
%A E.M. Siegfried
%A G.T. Vesonder
%A J.E. Zielinski
%T ACE: going from prototype to product with an expert system
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 24-28

%A Charles Rich
%T Artificial intelligence and software engineering:
the programmer's apprentice project
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 29

%A Gian Piero Zarri
%T A fifth generation approach to intelligent information retrieval
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 30-41

%A B. Ogawa
%A K.S. Fu
%A J.T.P. Yao
%T Knowledge representation and inference control of SPERIL-II
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 42-49

%A Jose Carlos Ferreira Maia Neves
%T A logic interpreter to handle time and negation in logic data bases
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 50-54

%A E. Babb
%T Functional requirements for very large knowledge bases
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 55-56

%A Charles H. Appebaum
%A James G. Williams
%T PVS - design for a practical verification system
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 58-68

%A Lee J. White
%T The evolution of an integrated testing environment
by the domain testing strategy
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 69-74

%A Jeffrey Scott Vitter
%A Roger A. Simons
%T Parallel algorithms for unification and other complete problems in P
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 75-84

%A Paul Baskett
%T Design principles for software manufacturing tools
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 85-93

%A Ellis Horowitz
%A Alfons Kemper
%A Balaji Narasimhan
%T Application generators: ideas for programming language extensions
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 94-101

%A Robert P. Brazile
%T A general purpose data base design
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 102-108

%A Nancy Giddings
%A Tim Colburn
%T An automated software design evaluator
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 109-115

%A Mike Burlakoff
%T An approach to software design documentation
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 116-120

%A Fletcher J. Buckley
%T The IE software engineering standards process
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 121-126

%A C.S. Sankar
%T Information wheel -
a framework to identify roles of information systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 127-132

%A Meir Burstin
%A Moshe Ben-Bassat
%T A user's approach to requirements of a large software system
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 133-145

%A P.I. Pettitt
%T A design framework for the ALVEY/ICL/DHSS demonstrator process
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 146-147

%A David A. Gustavson
%T A requirement model for the 5th generation
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 149-156

%A C.D. McCrosky
%A J.J. Glasgow
%A M.A. Jenkins
%T Nial: a candidate language for fifth generation computer systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 157-166

%A Alexis Koster
%T Compiling Prolog programs
for parallel execution on a cellular machine
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 167-178

%A James J. Browne
%A James E. Dutton
%A Vincent Fernandes
%A Annette Palmer
%A Jonathan Silverman
%A Anand R. Tripathi
%A Pong-sheng Wang
%T Zeus: an object-oriented distributed operating system
for reliable applications
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 179-188

%A S. Ghosh
%A S. Bandyopadhay
%A C. Mazumdar
%A S. Bhattacharya
%T Handling of recursion in dataflow model
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 189-196

%A B. Szymanki
%A N. Prywes
%A A. Pnueli
%T On the scope of static checking in definitional languages
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 197-207

%A H.T. Lau
%T An application of network flow programming to locate concentrators
in a communication network
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 208-211

%A Dan I. Moldovan
%T An associative array architecture
intended for semantic network processing
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 212-221

%E Larry Druffel
%T Visions of future programming environments (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 222

%E Moe Shahdad
%T VHSIC hardware description language overview (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 223-225

%E Richard desJardins
%T Open systems standardization (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 226

%A David R. Dodds
%T Towards knowledge-based robotics systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 230-235

%A Larry Lichten
%T The emerging technology of CAD/CAM
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 236-241

%E David Persin
%T Treating information as an asset (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 244

%A Louise Giovanne Becker
%T A national perspective on computer security (abstract only)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 245

%E Richard A. Smith
%T Needs of the business sector for security and integrity controls
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 246

%A Leslie Chalmers
%T User identification, access control, and audit requirements
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 247

%A Charles C. Wood
%T Logging, security experts data base, and crypto key management
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 248-252

%A Richard A. Smith
%T Security design considerations of hardware
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 253-254

%E James J. Pottmyer
%T Security considerations in system design (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 255

%A Ken Fong
%T Contingency planning and disaster recovery (abstract only)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 256

%A Stelio Thompson
%T Evaluation of computer and network security systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 257-259

%A Abbe Mowshowitz
%T Wealth and jobs in the fifth new world (abstract only)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 261

%E Rob Kling
%T Ethical issues in new computing technologies (panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 262

%A Rob Kling
%T Truth in advertising in present and future generation computing
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 263

%A Terry Winograd
%T The ethics of machines which mimic people
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 264

%A Paul Smolensky
%T Ethical questions and military dominance in next generation computing
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 265

%A Roland Schinzinger
%T Computing applications as social experimentation
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 266

%E Walt Scacchi
%T Social and organization consequences of new generation technology
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 267-270

%E Leslie Gasser
%T Workplace impacts - AI and automation
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 271

%E Severo M. Ornstein
%T Social dimensions of reliability of complex systems
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 272

%E Ira Pohl
%T Social implications of artificial intelligence
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 273

%A Ira Pohl
%T A hierarchy for classifying AI implications
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 274-278

%E Virginia Walker
%T Soothsayers of the electronic age
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 279

%A Carl Hammer
%T Beyond the data processing horizon
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 280-286

%A Kerry Mark Joels
%T The seventh generation
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 287

%A Myer W. Morron
%T The Alvey DHSS major demonstration
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 289-290

%E Nicholas Vitalari
%T Computing in the home - from novelty to legitimacy
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 291

%A Lubomir Bic
%T The fifth generation grail: a survey of related research
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 293-297

%A Maarten van\ Emden
%T Towards a western fifth-generation computer system project
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 298-302

%E Norman Soong
%T Blueprints for the computer city:
the quest for an architect's computer
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 303-304

%E Sharon C. Adler
%T Delivering the word - integrating publications technologies
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 305

%A Bruce D'Ambrosio
%T Integrating uncertainty into a language for knowledge based systems
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 307-309

%A Russell B. Kegley
%A Lois M. Boggess
%T Design of an ATN generator/modifier
for supporting a communication prosthesis
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 310-313

%A Junichiro Tsuji
%A Yutaka Iima
%A Satoshi Tojo
%A Shoji Enomoto
%T Dialogue management in the Personal Sequential Inference machine
(PSI)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 314-322

%A Tim Leso
%T Modern educational techniques -
high tech and the traditional approach
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 323-327

%E Richard H. Austing
%T AFIPS secondary education curriculum in information technology
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 328

%E Ronald E. Anderson
%T National education computing policy alternatives
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 329

%E Jim Poirot
%T Proposed curriculum for programs leading to teacher certification
in computer science
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 330

%E Jean B. Rogers
%T Computer science for secondary schools: course content
(panel session summary)
%J Proceedings of the 1984 ACM Annual Conference:
The Fifth Generation Challenge
%C San Francisco, California
%D October 1984
%E Richard L. Muller
%E James E. Pottmyer
%K acm84
%P 331