5. IFIP Congress 1971: Ljubljana, Yugoslavia, Volume 1

C. V. Freiman, John E. Griffith, J. L. Rosenfeld (Eds.): Information Processing 71, Proceedings of IFIP Congress 71, Volume 1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28, 1971. North-Holland, 1972, ISBN 0-7204-2063-6

Part 1: Mathematical Foundations of Information Processing

Invited Papers

Robert W. Floyd: Toward Interactive Design of Correct Programs. 7-10
Raj Reddy: Speech Recognition: Prospects of the Seventies. 11-18
Donald E. Knuth: Mathematical Analysis of Algorithms. 19-27
Andrei P. Ershov: Theory of Program Schemata. 28-45

Theoretical Foundations for Computer Science

Terrence Fine: Stochastic Independence and Computational Complexity. 46-51
V. A. Nepomniaschy: Conditions for the Algorithmic Completeness of Systems of Operations. 52-55
Claus-Peter Schnorr: Optimal Gödel Numberings. 56-58
Arthur C. Fleck: On the Combinatorial Complexity of Context-free Grammars. 59-60
Ryszard S. Michalski, Zenon Kulpa: A System of Programs for the Synthesis of Switching Circuits Using the Method of Disjoint Stars. 61-65
Andries P. J. van der Walt: Random Context Languages. 66-68
David L. Milgram, Azriel Rosenfeld: Array Automata and Array Grammars. 69-74
Steven A. Cook: Linear Time Simulation of Deterministic Two-Way Pushdown Automata. 75-80
J. M. Barzdin: Prognostication of Automata and Functions. 81-84

Graphs, Data Structures, and Symbol Manipulation

John E. Hopcroft, Robert Endre Tarjan: Planarity Testing in V log V Steps: Extended Abstract. 85-90
Jürg Nievergelt, C. K. Wong: On Binary Search Trees. 91-98
John L. Bruno, Edward G. Coffman Jr.: Nearly Optimal Binary Search Trees. 99-103
Sandra E. Hutchins: Data Compression in Context-Free Languages. 104-109
James N. Hanson: Equation Solutions by Functional Analysis Algorithms and Formula Manipulation. 110-114

Mathematical Models for Information Processing Systems

Gerard Salton: Experiments in Automatic Thesaurus Construction for Information Retrieval. 115-123
Leonard Kleinrock, Richard R. Muntz, Jiunn Hsu: Tight Bounds on the Average Response Time-Shared Computer Systems. 124-133
Masanao Aoki: Decentralized Control of Large Dynamic Systems and a New Class of Associated Optimization. 134-140
Giuseppe Iazeolla: Walking Strategies for a Single-Server Multiqueue Service System. 141-148

Mathematical Problems in Pattern Recognition

S. Watanabe: A Unified View of Clustering Algorithms. 149-154
Harry C. Andrews: Some Unitary Transformations in Pattern Recognition and Image Processing. 155-160
Edward S. Deutsch: Toward Isotopic Image Reduction. 161-172
Alberto Martelli, Ugo Montanari: Optimal Smoothing in Picture Processing: An Application to Fingerprints. 173-178

Artificial Intelligence

Bruce G. Buchanan, Joshua Lederberg: The Heuristic DENDRAL Program for Explaining Empirical Data. 179-188
Richard Fikes: Monitored Execution of Robot Plans Producted by STRIPS. 189-194
Rob Kling: Reasoning by Analogy as an Aid to Heuristic Theorem Proving. 195-200
Johns F. Rulifson, Richard J. Waldinger, Jan A. Derksen: A Language for Writing Problem-Solving Programs. 201-205
Jay 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: A Laboratory for Hand-Eye Research. 206-210

Pattern Recognition Techniques

Vukasin P. Masnikosa: Extraction of Essential Descriptors for Pattern Contours. 211-217
George M. Miller: Real-Time Classification of Handwritten Script Words. 218-223
Jack Sklansky, P. J. Najin: A Parallel Mechanism for Recognizing Silhouettes. 224-228

Program Construction and Verification

Robert L. Constable: Constructive Mathematics and Automatic Program Writers. 229-233
James C. King: A Program Verifier. 234-249
Edward A. Ashcroft, Zohar Manna: The Translation of 'Go To' Programs to 'While' Programs. 250-255
Joachim Szlachta: On the Correctness of Accepted Input. 256-260

Closing Session

Herbert A. Simon: The Theory of Problem Solving. 261-277

Part 2: Computer Software

Invited Papers

Brian Randell: Operating Systems: The Problems of Performance and Reliability. 281-290
Peter Lucas: Formal Definition of Programming Languages and Systems. 291-297
Thomas E. Cheatham Jr.: The Recent Evolution of Programming Languages. 298-313

Program Performance

Vinton G. Cerf, Gerald Estrin: Measurement of Recursive Programs. 314-319
P. Deutsch, C. A. Grant: A Flexible Measurement Tool for Software Systems. 320-326
Brian A. Wichmann: The Performance of Some Algol Systems. 327-334

Program System Design

Y. V. Kapitonova, Alexander A. Letichevsky: Design Problems of Software Special Systems. 335-338
David Lorge Parnas: Information Distribution Aspects of Design Methodology. 339-344
Claude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière: System Design and Implementation Using Parallel Processes. 345-352
Fumio Akiyama: An Example of Software System Debugging. 353-359

Programming Languages and Systems

Ian F. Currie, Susan G. Bond, J. D. Morison: Algol 68-R, Its Implementation and Use. 360-363
F. Mizzi, P. Toussaint: PHYSICTRAN: A Programming Language for Physicists, Economists, and Engineers Extending the Possibilities of Fortran V in Automatic Solving. 364-369
Juris Reinfelds: AMTRAN 70. 370-375
Thomas C. Spillman: Exposing Side-Effects in a PL/I Optimizing Compiler. 376-381
Richard D. Jenks: "META/PLUS" - The Syntax Extension Facility for "SCRATCHPAD". 382-384

Program Optimization

Frances E. Allen: A Basis for Program Optimization. 385-390
Martin Hopkins: An Optimizing Compiler Design. 391-396
Peter Bachmann: A Contribution to the Problem of the Optimization of Programs. 397-401

Aspects of Programming

Michael Woodger: On Semantic Levels in Programming. 402-407
William A. Wulf: Programming without the Goto. 408-413
Allan Ballard, Dennis Tsichritzis: Transformations of Programs. 414-418
W. Morven Gentleman: A Portable Coroutine System. 419-424

Interactive System

Louis W. Wolf, Larry J. Julyk: Generalized Interactive Symbolic Manipulations. 425-428
Leslie Mezei, A. Zivian: ARTA, an Interactive Animation System. 429-434
R. D. H. Wycherley: An Interaction-Handling Technique for Satellite Graphics. 435-439
Olivier Lecarme: A System for Interactive Graphic Programming. 440-444
I. Casazza, P. Russo, C. Dell'Aquila, O. Murro, G. Prezioso, M. Refice: A New Interactive Graphic Package. 445-449

Data Handling

B. T. Bennett, W. Donald Frazer: Approximating Optimal Direct-Access Merge Performance. 450-453
William H. Burge: An Analysis of the Compromise Merge Sorting Techniques. 454-459
Allen Reiter, A. Clute, Jay M. Tenenbaum: Representation and Execution of Searchers Over Large Tree-Structured Data Bases. 460-472
P. L. Long, K. B. L. Rastogi, James E. Rush, J. A. Wyckoff: Large On-Line Files of Bibliographic Data: An Efficient Design and a Mathematical Predictor of Retrieval Behavior. 473-478

Operating Systems

Per Brinch Hansen: An Analysis of Response Ratio Scheduling. 479-484
W. Frank King III: Analysis of Demand Paging Algorithms. 485-490
John Pomeranz: Paging with Fewest Expected Replacements. 491-493
Jacek Olszewski: On a Structure of Operating Systems Schedulers. 494-497
Prakash G. Hebalkar: A Graph Model for Analysis of Deadlock Prevention in Systems with Parallel Computations. 498-503

Formal Language Manipulation

Siegward Backes: Top-Down Syntax Analysis and Floyd-Evans Production Language. 504-508
Gerhard Chroust: Scope Conserving Expression Evaluation. 509-512
Wilf R. LaLonde, E. S. Lee, James J. Horning: An LALR(k) Parser Generator. 513-518
James J. Horning: A Procedure for Grammatical Inference. 519-523
Stefano Crespi-Reghizzi: An Effective Model for Grammar Interference. 524-529

Closing Session

Friedrich L. Bauer: Software Engineering. 530-538

Part 3: Computer Hardware and Systems

Invited Papers

D. J. Wheeler: The Limits of the Complexity of Computer Systems. 541-544
E. E. Newhall, Anastasios N. Venetsanopoulos: Computer Communication - Representative Systems. 545-552
Eugene Shapiro: Technologies for Storage Hierarchies. 553-558

Multiprocessing

Michael A. Kartev: On the Structure of Multiprocessor Systems. 559-564
Michael J. Flynn: Shared Internal Resources in Multiprocessor. 565-569
M. M. Lehman, Gerald Waldbaum: An Analytical Model for Upper Bounds on the Performance of Event-Driven, Hierarchical Computer Systems. 570-576

Applications of Microprogramming

P. S. Roberts, Chris S. Wallace: A Microprogrammed Lexical Processor. 577-581
Z. L. Rabinovitch: Development of Computer Languages and Interpretive Systems. 582-585
Jean Suchard, Gérard Bossuet: Modular Microprogrammed Logical Units (ULM). 586-590
Farhad Mavaddat: Using Stacks to Detect Expression Parallelism. 591-596

Hardware Systems Design

R. S. Wilkov: Reliability Considerations in Computer Network Design. 597-602
Rolf Schubert: Structure of a Highly Reliable System. 603-607
Josef F. Huber: High-Performance Program Request Control. 608-613

Communications

Wesley W. Chu: Optimal Fixed Message Block Size for Computer Communications. 614-621
Donald W. Davies: Packet Switching in a Public Data Network. 622-627
T. H. Beeforth, Richard L. Grimsdale, Fred Halsall, D. J. Woollons: Aspects of a Proposed Data Communication System. 628-633
A. L. Dudick, E. Fuchs, P. E. Jackson: Data Traffic Measurements for Inquiry - Response Computer Communication Systems. 634-641
C. S. Duke, M. J. McIntyre: A New Approach to Data Communications in the B6700. 642-647

Hybrid and Analog Computation

Stanoje P. Bingulac, Milic R. Stojic: Iterative Calculations via the Block-Oriented Simulation Languages. 648-654
K. G. Beauchamp, C. J. Kelley, P. G. Thomasson, M. E. Williamson: Development of a Hybrid System for University Research. 655-661
A. A. Kamal, A. K. El-Sherif: Analysis and Compensation of High-Speed Electronic Analog Computer Errors. 662-667
R. M. Howe, R. B. Hollstien, R. A. Moran: Hardware/Software Considerations in the AD/Four Electronic Patched Hybrid Computer. 668-674
C. C. Wheeler, Richard L. Grimsdale: A Program-Controlled Two-Dimensional Impedance Network. 675-679

Voice, Filters, and Codes

John D. Bagley: A Voice Input Facility for Digital Computers. 680-685
Toshiyuki Sakai, Kenji Ohtani, Shinji Tomita: On-Line, Real-Time, Multiple-Speech Output System. 686-690
H. Troy Nagle Jr., Chester C. Carroll: Memory Sizing for Digital Filters. 691-696
Alexander A. Davydov, G. M. Tenengol'ts: On a Class of Codes Correcting Errors in Information Exchanged Between Computers. 697-703

Computer Architecture

R. P. Wishner, H. R. Downs, J. Shechter: Real-Time Computer Techniques for Parallel Processors. 704-710
James L. Parker: A Logic-Per-Track Retrieval System. 711-716
Gerard L. M. Nougez, Dominique M. J. Peccoud: An Array Processor Design for APL-Like Data Structure. 717-720
J. N. Potvin, P. Chenevert, K. C. Smith, P. Boulton: Star-Ring: A Computer Intercommunication and I/O System. 721-728
P. D. Jones, Neil R. Lincoln: J. E. Thornton: Whither Computer Architecture? 729-736

Graphics and Display

P. J. Pobgee, J. R. Parks: Applications of a Low Cost Graphical Input Tablet. 737-741
Peter Salminger: Experimental Display with Input by Light Gate Field Selection. 742-747
Bertram Bussell, Harry M. Taxin: Visual Resolution Processing for Interactive Graphics. 748-751
H. C. A. Hankins, G. Hughes: The Impact of Dark Trace Displays on Computer Graphics. 752-758
James J. Batter, Frederick P. Brooks Jr.: GROPE-1: A Computer Display to the Sense of Feel. 759-763

Closing Session

Isaac L. Auerbach: Technological Forecast 1971. 764-775