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 BibTeX
Raj Reddy: Speech Recognition: Prospects of the Seventies. 11-18 BibTeX
Donald E. Knuth: Mathematical Analysis of Algorithms. 19-27 BibTeX
Andrei P. Ershov: Theory of Program Schemata. 28-45 BibTeX

Theoretical Foundations for Computer Science

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

Graphs, Data Structures, and Symbol Manipulation

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

Mathematical Models for Information Processing Systems

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

Mathematical Problems in Pattern Recognition

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

Artificial Intelligence

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

Pattern Recognition Techniques

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

Program Construction and Verification

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

Closing Session

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

Part 2: Computer Software

Invited Papers

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

Program Performance

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

Program System Design

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

Programming Languages and Systems

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

Program Optimization

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

Aspects of Programming

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

Interactive System

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

Data Handling

B. T. Bennett, W. Donald Frazer: Approximating Optimal Direct-Access Merge Performance. 450-453 BibTeX
William H. Burge: An Analysis of the Compromise Merge Sorting Techniques. 454-459 BibTeX
Allen Reiter, A. Clute, Jay M. Tenenbaum: Representation and Execution of Searchers Over Large Tree-Structured Data Bases. 460-472 BibTeX
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 BibTeX

Operating Systems

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

Formal Language Manipulation

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

Closing Session

Friedrich L. Bauer: Software Engineering. 530-538 BibTeX

Part 3: Computer Hardware and Systems

Invited Papers

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

Multiprocessing

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

Applications of Microprogramming

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

Hardware Systems Design

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

Communications

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

Hybrid and Analog Computation

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

Voice, Filters, and Codes

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

Computer Architecture

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

Graphics and Display

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

Closing Session

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