International Computing Symposium 1977: Liège, Belgium

E. Morlet, D. Ribbens (Eds.): International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint). North-Holland 1977, ISBN 0-7204-0741-9

@proceedings{DBLP:conf/icsym/1977,
  editor    = {E. Morlet and
               D. Ribbens},
  title     = {International Computing Symposium 1977, Proceedings of the International
               Computing Symposium 1977, Li{\`e}ge, Belgium, 4-7 April 1977
               (Preprint)},
  booktitle = {International Computing Symposium},
  publisher = {North-Holland},
  year      = {1977},
  isbn      = {0-7204-0741-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Dines Bjørner: Programming Languages: Formal Development of Interpreters and Compilers. 1-21
Edsger W. Dijkstra: Programming: From Craft to Scientific Discipline. 23-30
Reiner Durchholz: Types and Related Concepts. 31-38
Eckhard D. Falkenberg: Concepts for the Coexistence Approach to Data Base Management. 39-50
Wolfgang K. Giloi: Beyond APL - An Interactive Language for the Eighties. 51-59
Philippe Jorrand: Very High Level Languages - Some Aspects of the Evolution of Language Design. 61-75
W. E. King: The Evolution of Relational Database Management Technology. 77-79
B. Meltzer: Brains and Programs. 81-84
Michael E. Senko: Conceptual Schema, Abstract Data Structures, Enterprise Descriptions. 85-102

Contributed Papers

Programming

Elie Milgrom, Rosemary Michelle Simpson, Pierre Verbaeten, Yves D. Willems: From Programming Education to Professional Practice. 103-110
Didier Bert: Problem Specification and Algorithmic Programming. 111-117
Dennis de Champeaux: Solutions and Their Problems. 119-127
Jiri Hoppe: A Comparison of MODULA with Other System Programming Languages. 129-133
Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone: More Flexible and Powerful Control Constructs for Structured Programming. 135-142
Eduard Mumprecht: The Funnel, a New and Practical Presentation Method for Program Building Blocks. 143-150
E. Mark Gold: Semantic Approach to Design fo Controller Languages and Hardware. 151-166
Marco Maiocchi: Extension of Precompilers for Evaluation of Program Tests. 167-174
Václav Chvalovský: Structured Programming in Cobol - Yet Another Approach. 175-182
Andrew T. Arblaster: Some Measures of Information about Program States. 183-190
Flaviu Cristian: A Case Study in Modular Design. 191-196

Properties of Programs

John Yiannis Cotronis, Peter E. Lauer: Verification of Concurrent Systems of Processes. 197-207
Otthein Herzog: Automatic Deadlock Analysis of Parallel Programs. 209-216
Raymond R. Devillers, Guy Louchard: Using Auxiliary Variables in Parallel Programs Verification. 217-225

Compilers

Augusto Celentano: Parsing Languages Described by Syntax Graphs. 227-235
Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts: Project LILA. The ELL(1) Generator of LILA, an Introduction. 237-251

Computer Applications

E. De Borchgrave, R. F. Poswick: Computer Work for Literary Production. A Particular Application for Biblical Studies. 253-259
David Al-Dabass: Microprocessor Based Parallel Computers and Their Application to the Solution of Control Algorithms. 261-270
A. Brini, R. Ferrari, T. Montagna, M. Montagni, G. Perna, J. Szanto: GOSPEL: a Time-Sharing Approach to Continuous System Simulation. 271-275

Modelling of Programs Behavior

Domenico Ferrari, Makoto Kobayashi: Program Restructuring Algorithms for Global LRU Environments. 277-283
P. Ribeyre, P. Y. Saintoyant: A Predictive Tool for the Improvement of Program Behaviour. 285-290

Modelling

Arne Nilsson: The Variance of Conditional Waiting Time for the M/G/1 Queue. 291-298
J. J. Dumont, Guy Latouche: Analysis of a Foreground-Background System with Two Levels of Priority among Foreground Jobs. 299-304
Guy Latouche: Optimal Partitioning of a Finite Buffer between Two Pairs of Producer-Consumer. 305-313
C. Glowacki: A Closed Form Expression of the Page Fault Rate for LRU Paging Algorithm in a Markovian Reference Model of Program Behavior. 315-318

Computer Networks/Distributed Processing

Jan van den Bos: A Design of a Communication Supervisor for a Local Network Employing Monitors. 319-323
Alan D. Pearman: Optimal and Sub-Optimal Configurations for Computer Networks. 325-333
Livio Lazzeri, Luciano Lenzini, Allen Springer: Terminal Access to Host Computers through RPCNET. 335-344
Giacomo Bucci, S. Golinelli: A Distributed Strategy for Resource Allocation in Information Networks. 345-356
F. E. Taylor: The Relative Merits of Distributed Computing Systems. 357-365

Sorting

Eero Peltola, Hannu Erkiö: Balanced Internal Merge Sorting. 367-371
Wolfgang Janko: An Insertion Sort for Uniformly Distributed Keys Based on Stopping Theory. 373-379

Theoretical DP

Chris J. Hinde: Algorithmic Embedding in Fuzzy Sets. 381-387
Paulo A. S. Veloso: Some Bounds on Quasi-Initialised Finite Automata. 389-393
Vangalur S. Alagar, David K. Probst: Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. 395-402

Graphics

G. Barta: GRIN - A Simple Command Language for Graphic Interaction. 403-409
L. C. Caruthers, D. Groot, E. Hermans, Andries van Dam, Jan van den Bos: GPGS - General Purpose Graphic System. 411-416

Interactive Languages

Ernst Denert: Specification and Design of Dialogue Systems with State Diagrams. 417-424
E. Lopes Cardozo: Time-Dependent Blocking of Terminal Input. 425-427
R. A. Cowan: DPL: A Mathematical Computation System. 429-439

Systems Programming

Marco Bellia, Giorgio Levi: Distributed Control, Modularity and Data Types in a Simple Parallel Language. 441-450
Daniel Thalmann, Bernard Levrat: SPIP: A Way of Writing Portable Operating Systems. 451-459
Lester Lipsky: Comparison of Performance Measurements of a Computer System with a Queueing Model. 461-466

Data Base Systems

Paul Lindgreen, Edith Rosenberg: SODA - A Flexible Scheme for Database/ Program Interface. 467-473
Fabio A. Schreiber: A Framework for Distributed Database Systems. 475-482
Gunter Schlageter: To the Problem of Record Placement in Inverted File Systems. 483-489
Mohammad Inam ul Haq: On Safeguarding Statistical Disclosure by Giving Approximate Answers to Queries. 491-495
Herbert Weber: D-GRAPHS: A Conceptial Model for Data Bases. 497-504
H. R. Schuchmann: Privacy Protection - Is It just an Engineering Issue? 505-510

Tutorials

Dines Bjørner: Programming Languages: Linguistics and Semantics. 511-536
Cliff B. Jones: Program Specifications and Formal Development. 537-553
M. Vetter: Principles of Data Base Systems. 555-580