Abstract is missing.
- Toward Interactive Design of Correct ProgramsRobert W. Floyd. 7-10
- Speech Recognition: Prospects of the SeventiesRaj Reddy. 11-18
- Theory of Program SchemataAndrei P. Ershov. 28-45
- Stochastic Independence and Computational ComplexityTerrence Fine. 46-51
- Optimal Gödel NumberingsClaus-Peter Schnorr. 56-58
- On the Combinatorial Complexity of Context-free GrammarsArthur C. Fleck. 59-60
- A System of Programs for the Synthesis of Switching Circuits Using the Method of Disjoint StarsRyszard S. Michalski, Zenon Kulpa. 61-65
- Random Context LanguagesAndries P. J. van der Walt. 66-68
- Array Automata and Array GrammarsDavid L. Milgram, Azriel Rosenfeld. 69-74
- Prognostication of Automata and FunctionsJ. M. Barzdin. 81-84
- Planarity Testing in ::::V:::: log ::::V:::: Steps: Extended AbstractJohn E. Hopcroft, Robert Endre Tarjan. 85-90
- On Binary Search TreesJürg Nievergelt, C. K. Wong. 91-98
- Nearly Optimal Binary Search TreesJohn L. Bruno, Edward G. Coffman Jr.. 99-103
- Experiments in Automatic Thesaurus Construction for Information RetrievalGerard Salton. 115-123
- Tight Bounds on the Average Response Time-Shared Computer SystemsLeonard Kleinrock, Richard R. Muntz, Jiunn Hsu. 124-133
- Walking Strategies for a Single-Server Multiqueue Service SystemGiuseppe Iazeolla. 141-148
- A Unified View of Clustering AlgorithmsS. Watanabe. 149-154
- Optimal Smoothing in Picture Processing: An Application to FingerprintsAlberto Martelli, Ugo Montanari. 173-178
- The Heuristic ::::DENDRAL:::: Program for Explaining Empirical DataBruce G. Buchanan, Joshua Lederberg. 179-188
- Reasoning by Analogy as an Aid to Heuristic Theorem ProvingRob Kling. 195-200
- A Language for Writing Problem-Solving ProgramsJohns F. Rulifson, Richard J. Waldinger, Jan A. Derksen. 201-205
- A Laboratory for Hand-Eye ResearchJay M. Tenenbaum, Alan C. Kay, Thomas O. Binford, Gilbert Falk, Jerome A. Feldman, G. Grape, R. Paul, Karl K. Pingle, Irwin Sobel, Robert F. Sproull. 206-210
- Extraction of Essential Descriptors for Pattern ContoursVukasin P. Masnikosa. 211-217
- A Parallel Mechanism for Recognizing SilhouettesJack Sklansky, P. J. Najin. 224-228
- Constructive Mathematics and Automatic Program WritersRobert L. Constable. 229-233
- A Program VerifierJames C. King. 234-249
- The Translation of Go To Programs to While ProgramsEdward A. Ashcroft, Zohar Manna. 250-255
- The Theory of Problem SolvingHerbert A. Simon. 261-277
- Operating Systems: The Problems of Performance and ReliabilityBrian Randell. 281-290
- Formal Definition of Programming Languages and SystemsPeter Lucas. 291-297
- The Recent Evolution of Programming LanguagesThomas E. Cheatham Jr.. 298-313
- Measurement of Recursive ProgramsVinton G. Cerf, Gerald Estrin. 314-319
- The Performance of Some Algol SystemsBrian A. Wichmann. 327-334
- Design Problems of Software Special SystemsY. V. Kapitonova, Alexander A. Letichevsky. 335-338
- System Design and Implementation Using Parallel ProcessesClaude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière. 345-352
- Algol 68-R, Its Implementation and UseIan F. Currie, Susan G. Bond, J. D. Morison. 360-363
- AMTRAN 70Juris Reinfelds. 370-375
- META/PLUS - The Syntax Extension Facility for SCRATCHPAD Richard D. Jenks. 382-384
- A Basis for Program OptimizationFrances E. Allen. 385-390
- An Optimizing Compiler DesignMartin Hopkins. 391-396
- A Contribution to the Problem of the Optimization of ProgramsPeter Bachmann. 397-401
- On Semantic Levels in ProgrammingMichael Woodger. 402-407
- Programming without the GotoWilliam A. Wulf. 408-413
- Transformations of ProgramsAllan Ballard, Dennis Tsichritzis. 414-418
- A Portable Coroutine SystemW. Morven Gentleman. 419-424
- ARTA, an Interactive Animation SystemLeslie Mezei, A. Zivian. 429-434
- A System for Interactive Graphic ProgrammingOlivier Lecarme. 440-444
- A New Interactive Graphic PackageI. Casazza, P. Russo, C. Dell Aquila, O. Murro, G. Prezioso, M. Refice. 445-449
- Approximating Optimal Direct-Access Merge PerformanceB. T. Bennett, W. Donald Frazer. 450-453
- An Analysis of the Compromise Merge Sorting TechniquesWilliam H. Burge. 454-459
- Representation and Execution of Searchers Over Large Tree-Structured Data BasesAllen Reiter, A. Clute, Jay M. Tenenbaum. 460-472
- Analysis of Demand Paging AlgorithmsW. Frank King III. 485-490
- On a Structure of Operating Systems SchedulersJacek Olszewski. 494-497
- A Graph Model for Analysis of Deadlock Prevention in Systems with Parallel ComputationsPrakash G. Hebalkar. 498-503
- Scope Conserving Expression EvaluationGerhard Chroust. 509-512
- An LALR(k) Parser GeneratorWilf R. LaLonde, E. S. Lee, James J. Horning. 513-518
- A Procedure for Grammatical InferenceJames J. Horning. 519-523
- An Effective Model for Grammar InterferenceStefano Crespi-Reghizzi. 524-529
- Software EngineeringFriedrich L. Bauer. 530-538
- Computer Communication - Representative SystemsE. E. Newhall, Anastasios N. Venetsanopoulos. 545-552
- A Microprogrammed Lexical ProcessorP. S. Roberts, Chris S. Wallace. 577-581
- Using Stacks to Detect Expression ParallelismFarhad Mavaddat. 591-596
- High-Performance Program Request ControlJosef F. Huber. 608-613
- Optimal Fixed Message Block Size for Computer CommunicationsWesley W. Chu. 614-621
- Aspects of a Proposed Data Communication SystemT. H. Beeforth, Richard L. Grimsdale, Fred Halsall, D. J. Woollons. 628-633
- Data Traffic Measurements for Inquiry - Response Computer Communication SystemsA. L. Dudick, E. Fuchs, P. E. Jackson. 634-641
- A Program-Controlled Two-Dimensional Impedance NetworkC. C. Wheeler, Richard L. Grimsdale. 675-679
- On-Line, Real-Time, Multiple-Speech Output SystemToshiyuki Sakai, Kenji Ohtani, Shinji Tomita. 686-690
- Memory Sizing for Digital FiltersH. Troy Nagle Jr., Chester C. Carroll. 691-696
- On a Class of Codes Correcting Errors in Information Exchanged Between ComputersAlexander A. Davydov, G. M. Tenengol ts. 697-703
- A Logic-Per-Track Retrieval SystemJames L. Parker. 711-716
- Star-Ring: A Computer Intercommunication and I/O SystemJ. N. Potvin, P. Chenevert, K. C. Smith, P. Boulton. 721-728
- J. E. Thornton: Whither Computer Architecture?P. D. Jones, Neil R. Lincoln. 729-736
- GROPE-1: A Computer Display to the Sense of FeelJames J. Batter, Frederick P. Brooks Jr.. 759-763
- Concepts, Techniques, and Models for the Process of ManagementHans E. Andersin. 785-788
- A Technique for Identification of Users Information Requirements. The First Step in Information Systems DesignE. W. Chadler, P. Nador. 819-826
- PHASE II: A Data Base Management Modeling SystemPhilip J. Owens. 827-832
- Administration of Constructing an Information SystemY. Goldschmidt, A. I. D. Aranyi, R. Chiba, M. Cohen, I. Glaser. 853-860
- SCARABEE: A Data and Model Bank for Financial Engineering and ResearchMichel R. Klein, Vincent Tixier. 891-895
- Sensitivity Analysis On-line with a Conversational Dynamic Programming SystemPierre E. Bonzon. 896-900
- The Relational Approach to the Management of Data BasesAlois Strnad. 901-904
- A Comprehensive Method for Handling the Human Problems of Computer IntroductionEnid Mumford. 918-923
- The Evaluation and Management of Computer-based Systems: An Interdisciplinary ApproachJohn Hawgood, Frank F. Land, Enid Mumford, C. Michael Reddington. 949-953
- A Computerized Management Information System for Human Blood UtilizationC. Carl Pegels, Edward L. Wallace. 967-971
- The BBC Television Management Information SystemCharles Lashmar, Terry Smith, John Collins, Ronald Green. 972-976
- Computers and Data Processing in Nuclear ResearchN. N. Govorun. 979-986
- Data Processing for Radioastronomy and Cosmic Ray Air Shower ArraysJ. M. Bennett. 1023-1030
- A Computer-based Pronunciation-hearing Test System Using a Hybrid Magnetic Tape UnitHaruhisa Ishida, Osamu Fujimura. 1037-1040
- A Data Base and Problem Solver for Computer-Aided DesignEnn Tyugu. 1046-1049
- Processing of Design Specifications Using a Recursive Decision-Table ProcessorSteven J. Fenves. 1050-1055
- CASSANDRE and the Computer Aided Logical Systems DesignG. Bogo, Alain Guyot, A. Lux, J. Mermet, C. Payan. 1056-1065
- A Procedure for Generating Visible-line of Solids Bounded by Quadric SurfacesPeter Woon, Herbert Freeman. 1120-1125
- Recognition and Measurement of Bubble Chamber Tracks Using a Flying Spot DigitizerP. M. Ferran, J. M. Howie, W. Gerald Moorhead. 1126-1131
- Digital Image Processing for the Earth Resources Technology Satellite DataPeter M. Will, R. Bakis, Michael A. Wesley. 1138-1143
- The Graphical Techniques Used for a Chemical Process Simulator JUSE GIFS Masao Iri, Junkichi Tsunekawa, Keiji Yajima. 1150-1155
- The Role of Interpolation and Approximation Theory in Variational and Projectional Methods for Solving Partial Differential EquationsRichard S. Varga. 1185-1190
- A Survey of Error AnalysisWilliam Kahan. 1214-1239
- The Solution of Large Sparse Unsymmetric Systems of Linear EquationsA. R. Curtis, J. K. Reid. 1240-1245
- An Improved Method for Reducing the Bandwidth of Sparse Symmetric MatricesIlona Arany, Lajos Szoda, W. F. Smyth. 1246-1250
- Parallel Computation of Eigenvalues of Real MatricesDavid J. Kuck, Ahmed H. Sameh. 1266-1272
- Optimal Iterative Processes: Theorems and ConjecturesJ. F. Traub. 1273-1277
- Significant Digits: Numerical Analysis or NumerologyDavid W. Matula. 1278-1283
- A note on unconditional fixed-::::h:::: stability of linear multistep formulaeFarouk Odeh, Werner Liniger. 1284-1286
- Series Solutions to Differential Equations by Backward RecurrenceHenry C. Thacher Jr.. 1287-1291
- Continous Methods for Free Boundary ProblemsJ. C. Mason, I. Farkas. 1305-1310
- The Dualplex Method Applied to Special Linear ProgramsSaul I. Gass. 1317-1323
- A Fast Computational Algorithm for Optimum Digital Control SystemsSpyros G. Tzafestas, D. Efthymiatos. 1328-1334
- On the Calculation of Fourier IntegralsBo Einarsson. 1346-1350
- Guidelines for Automatic Quadrature RoutinesJ. N. Lyness. 1351-1355
- A General Analytic Approach for Integrals of Coverage and More General Type Using Automatic Symbol ManipulationMario L. Juncosa. 1356-1362
- On the Optimal Approximation of Discrete Functions with Low-dimensional TablesUgo Montanari. 1363-1368
- Some Data-Analytic Problems in Archaeology and HistoryDavid Kendall. 1371-1376
- Mathematical Methods in the Study of Neural SystemsEduardo R. Caianiello, Aldo Aiello, Ernesto Burattini. 1377-1381
- Data Structures for General Practice RecordsK. F. Bowden, I. R. MacCallum, S. P. Patience. 1398-1406
- Applications of Kendall s Ordinal Discriminat Analysis Method to Two Medical Classification ProblemsD. O. Walter, M. Roux, J. Gouvernet, H. Roux. 1407-1410
- A Novel and Versatile Approach to Computer Hardware Education and Computer Terminal DevelopmentThomas F. Piatkowski. 1411-1415
- A Basic Language Oriented to Secondary SchoolIrene Fernández-Florez García, Ernesto García Camarero, Isidro Ramos. 1423-1426
- Studies on Decision Making Using the Game of PokerNicholas V. Findler, Heinz Klein, William Gould, Alexander Kowal, John Menig. 1448-1459
- Shape Grammars and the Generative Specification of Painting and SculptureGeorge Stiny, James Gips. 1460-1465
- Experimenting with Information Management by Individuals in a University EnvironmentBernard Levrat, J.-Ph. Baud, J.-M. Chenais, Alain Jacquesson, L. Pany Hervieu-Causse. 1478-1482
- On the Problem of Communicating Complex InformationDavid Pager. 1490-1497
- A Multiprogramming System for Education and ResearchAlan C. Shaw, Nelson H. Weiderman. 1505-1509
- An Advanced System Programming CourseBruce W. Arden, Larry K. Flanigan, Bernard A. Galler. 1510-1514
- A View of Computer Science EducationPeter Wegner. 1515-1522
- A Unified Approach to Compiler Theory and ConstructionV. W. Setzer, Charles H. Warlick. 1523-1529
- Boundary Detection of Radiographic Images by a Threshold MethodC. K. Chow, T. Kaneko. 1530-1535
- Time Shared Clinical Radioisotopic Scan Collection, Processing and RetrievalStephen M. Pizer, Sharon J. Harris, Linda A. Deveau, Marc-David Cohen. 1536-1542
- Computers for Developing CountriesD. Chevion, B. Barg, S. F. Beltran, O. J. Fagbemi, S. Leskovar, Carlos José Pereira de Lucena, V. Rajamaran. 1574-1577
- Algol 68 ImplementationManfred Paul, Henry J. Bowlden, Paul Branquart, Ian F. Currie, Andrei P. Ershov, Cornelis H. A. Koster, J. E. L. Peck, H. Scheidig. 1578-1589
- Computer System PerformanceH. J. Helms, Gerald Estrin, B. Whitman, G. Kacin, C. Kohn. 1590-1605