International Computing Symposium 1973

Description

Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 held by The European Chapters of the Association for Computing Machinery (ACM) under the patronage of the Swiss Federal Councillor H.P.Tschudiedited hyA.Gunther,CERN, GenevaB.Levrat, C.I.C.E, Univasity of GenevaH.Lipps, CERN, GenevaPREFACEThe International Computing Symposium 1973 was the third in a series organized by the European Chapters of ACM. Arranged by Europeans primarily for Europeans, the Symposium - despite its title - was intended to present a realistic picture of the current state of computing in this continent. At the same time, an effort was made to bring together people representing a broad spectrum of interests in computing, so as to encourage a large exchange of ideas. There was thus every reason for the Programme Committee to accept interesting contributions from any field and from no matter which country.These proceedings contain nearly all the papers, contributed or invited, presented at the Symposium, with the exception only of a few for which no text was provided. To allow fast publication, the papers have been reproduced by photo-offset from the typescripts submitted by the authors.When the Swiss Chapter of ACM asked the Federal Councillor H.P. Tschudi to patronize the International Computing Symposium 1973, he at once responded most positively. The Chapter and its two committees wish to take this opportunity to record their sincere thanks for the support given by Councillor Tschudi and by the Swiss Confederation.Many people worked in the preparation and running of the symposium; it is a pleasure to acknowledge their efforts, as well as the support of their institutions. Local arrangements were greatly helped by the Davos Congress Centre, where all went out of their way to meet our requirements. Acknowledgement is also due to the firms that provided financial support. Particular thanks go the publisher for the speedy publication of these Proceedings.The decision to hold the Symposium in a mountain resort at such a time of the year involved a calculated risk. In the event, it proved well worth taking and all the participants will long remember the beautiful surroundings, seen at their very best in the wonderful September weather.The EditorsOPENING SESSIONChairman: H. LippsA. Ralston: The future of higher level languages (in teaching), (invited paper) THEORY OF COMPUTATIONChairmen: H. Stetter (Plenary Session). E. Engeler (Parallel Session)P. Deussen: Description of processes, (invited paper)M. Snelling: General context-free parsing in time n^2G. de Michelis: Recursive functions not dependent on the computational rulesC. Bohm, M. Dezani-Ciancaglini: Listing the functional digraph structuresI. Kupka, N. Wilsing: Functions describing interactive programmingPROGRAMMING METHODSChairmen: S. Crespi-Reghizzi (Plenary Session), N. Wirth (Parallel Session)N. Wirth: From programming techniques to programming methods, (invited paper)R.S. Scowen, A.R. Lawrence: Some experiments in improving program documentationH.-J. Hoffmann: Programming by selectionP.A. de Marneffe, D. Ribbens: Holon programmingCOMPILERSChairman: H.J. Hoffmann (Parallel Session)U. Ammann: The methog of structured programming applied to the development of a compilerP. Branquart, J.P. Cardinael, J. Lewi: Optimized translation process, application to ALGOL 68J.L. Schonfelder: The NAG library and its special function chapterP. Chatelin, B. Willis: A method for defining and implementing PL/1OPERATING SYSTEMSChairmen: G.R. Macleod (Plenary Session), R.M. Needham (Parallel Session)R.M. Needham: Protection - A current research area in operating systems, (invited paper)E.J. Neuhold: The formal semantics of operating systemsA. van Lamsweerde: Deadlock prevention in real time systemsR.D. Russell, P. Sparrman, M. Krieger: ORION - The OMEGA remote interactive on-line systemCONCURRENT PROCESSES AND RESOURCE ALLOCATIONChairman: J.D. Haupt (Parallel Session)F. Grandoni, P. Zerbetto: Description and asynchronous implementation of control structures for concurrent systemsG. Belpaire, J.P. Wilmotte: A semantic approach to the theory of parallel processesH.A. Schmid: An approach to the communication and synchronization of processesP.A. Johnson: Approximate "open" priority queue model for determining total delay including overhead in a real-time virtual memory systemSIMULATION AND SYSTEM MEASUREMENTSChairman: E. Gelenbe (Parallel Session)K.G. Muller: An interactive facility for process-oriented simulationsS.E. Sutcliffe: Selecting the components of multi-purpose computer systemsL. Boi, J.P. Drucbert: OSSYOSCOPE: System on auxiliary processors for measuring operating systemsCOMPUTER DESIGNChairman: F.H. Sumner (Plenary and Parallel Sessions)D.B.G. Edwards: Hardware innovation and computer design (invited paper)B.D. Shriver: System design for scientific computationJ.C. Huang: Multiunit register-transfer networks and pipeline concurrencyF. Barsi, P. Maestrini: Fault-tolerant computing by using residue number systemsH. Spreen: High performance input/output channelsMICROPROGRAMMINGChairman: D.G.B. Edwards (Parallel Session)R.F. Rosin: The significance of microprogrammingP.-E. Danielsson: Microprogramming. A hardware point of viewN. Haff: Logical organization of a problem-oriented microprogram-controlled processorR. Thurner, K. Bauknecht: Procedural decision tables and their implementationNETWORKSChairman: M. Engeli (Parallel Session)M. Somia: Synchronization problems in a computer networkC. Ghezzi, G. Le Moli, L. Mezzalira: Introduction to POLI network design,M. Molloy: "DATAPORT" - A control system for computer networks designed by the Inland Revenue (Finanzverwaltung) in Nordrhein-Westfalen,ON-LINE APPLICATIONSChairman: F.L. Nicolet (Parallel Session)B. Krieg, R. Gnatz, R. Hoellerer: S_O, A low level systems implementation languageA. Barthélemy, W. Kaiser, M. Le Sourne, M. Taeschner, P. Darier, A. Vinit, J.J. Girod: CARINE - A multi-user real-time system for control and data acquisition of neutron beam experimentsR. Bender. H. Reiter: Process control system for test stand data acquisition and control in an automotive companyNUMERICAL MATHEMATICSChairman: H.J. Stetter (Plenary and Parallel Sessions)G. Dahlquist: Problems related to the numerical treatment of stiff differential equitions (invited paper)M. Tienari: On the control of floating-point mantissa length in iterative computationsJ. Patry, S. Gupta: Computing analytical functions by means of power series or continued fractionsD. Trigiante, S. Ciucani: The method of moments. A class of methods for the solution of nonlinear equations and systems of equationsAPPLIED MATHEMATICSChairman: G. Dahlquist (Parallel Session)M. Fremond: La méthode frontale pour la résolution des systèms linéairesR. Wait: Finite-element-type solution of integral equationsJ. Henry: An application of optimal control theory to a problem of hydrodynamicsPATTERN RECOGNITION METHODSChairman: P. Zanella (Plenary and Parallel Sessions)H. Kazmierczak: Problems in automatic pattern recognition (invited paper)G.T. Herman: Reconstruction of binary pattern from a few projectionsC.T. Zahn: Using the minimum spanning tree to recognize dotted and dashed curvesG. Sandor, E. Diday, Y. Lechevallier: Résultats récents concernant la méthode des nuées dynamiques et application à la recherche de profils biologiquesPATTERN RECOGNITION APPLICATIONSChairman: H. Kazmierczak (Parallel Session)P.W. Neurath, J.F. Brenner, W.D. Selles, E.S. Gelsema, B.W. Poweil, G. Gallus, E. Vastola: Computer identification of white blood cellsH.M. Aus, K. Kaschel, V. ter Meulen, P.H. Bartels: Approaches to computer analysis of polio infection in HeLa cellsH. Grote, M. Hansroul, J.C. Lassalle, P. Zanella: Identification of digitized particle trajectoriesCOMPUTER-AIDED DESIGN Chairmen: F.H. Sumner (Plenary Session)I. de Lotto (Parallel Session)I. de Lotto, G. Pierini, P. Tiberio: Sparse matrix techniques in computer-aided design (invited paper)J.W. Demic: Perspecitve geometry and computer graphics: Techniques and applications in computer-aided designK.C. Daly, G.C. Goodwin: Interactive computer aided design of control systemsH. Klamet: Computer-aided design of the layout of integrated circuits (CADLIC)COMPUTER GRAPHICSChairman: J. Nievergelt (Parallel Session)M.E. Engeli: A. language for 3D graphics applicationsK. Reumann, A.P.M. Witkam: Optimizing curve segmentation in computer graphicsG. Vuilleumier, M. Sarret: Finger input to a small graphic systemCOMPUTER-AIDED INSTRUCTION, COMPUTER EDUCATIONChairman: H.P. Frei (Parallel Session)J.H. Laubsch, A. Chiang: Application of mathematical models of learning in the decision structure of adaptive computer-aided instructional systemsT.J. Gilkey, E.B. Koffman: Generative CAI in high school algebraJ. Nievergelt, E.M. Reingold, T.R. Wilcox: The automation of introductory computer science coursesINFORMATION STORAGE AND RETRIEVAL SYSTEMSChairmen: B. Levrat (Plenary Session)E.J. Neuhold (Parallel Session)C. Toulet: Real time systems in administrative data processing (invited paper)J.P. McCarthy: Automatic file compressionG.L. Wolfendale: A system for the definition of the syntax and semantics of data description languagesT.W. Olle: Self-contained facilities to process sub-structures of more complex network structuresDATA BASESChairman: J.J. Duby (Parallel Session)K.-D. Krägeloh, P.C. Lockemann: Retrieval in a set-theoretically structured data base: Concepts and practical considerationsJ.J. Florentin: Specifying data base systemsW.T. Hardgrave: The prospects for large capacity set support systems imbedded within generalized data management systemsA. Artaud, J.M. Nicolas: An experimental query system: SYNTEXMEDICAL APPLICATIONSChairman: L. Dadda (Parallel Session)J. Meyer, K.-W. Heinrich, W. Merx, S. Effert: Reliability of the ECG-interpretation by seven different computer-programs compared to that of three cardiologistsK.F. Bowden, G.I.L. Grafton, I.R. MacCallum: A method of sequential selection for information capture in a real-time information systemK. Sauter: Structure and functions of the patient data bank in the medical system HannoverNON-NUMERICAL APPLICATIONSChairman: S. Crespi-Reghizzi (Parallel Session)A. Delfino, B. Levrat: Heuristic programming techniques applied to chemical mass spectrometryP.A. Fortier, J.C. McConnelli: Theme searches in French textsJ.A. Richter: Synthesis in dynamic modelsCLOSING SESSIONChairman: B. LevratM.V. Wilkes: Past, present, and future in the computer world (invited paper)LIST OF PARTICIPANTS