![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
International Computing Symposium 1977: Liège, Belgium
- E. Morlet, D. Ribbens:
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
Invited Papers
- Dines Bjørner:
Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium 1977: 1-21 - Edsger W. Dijkstra:
Programming: From Craft to Scientific Discipline. International Computing Symposium 1977: 23-30 - Reiner Durchholz:
Types and Related Concepts. International Computing Symposium 1977: 31-38 - Eckhard D. Falkenberg:
Concepts for the Coexistence Approach to Data Base Management. International Computing Symposium 1977: 39-50 - Wolfgang K. Giloi:
Beyond APL - An Interactive Language for the Eighties. International Computing Symposium 1977: 51-59 - Philippe Jorrand:
Very High Level Languages - Some Aspects of the Evolution of Language Design. International Computing Symposium 1977: 61-75 - W. E. King:
The Evolution of Relational Database Management Technology. International Computing Symposium 1977: 77-79 - Bernard Meltzer:
Brains and Programs. International Computing Symposium 1977: 81-84 - Michael E. Senko:
Conceptual Schema, Abstract Data Structures, Enterprise Descriptions. International Computing Symposium 1977: 85-102
Contributed Papers
Programming
- Elie Milgrom, Rosemary Michelle Simpson, Pierre Verbaeten, Yves D. Willems:
From Programming Education to Professional Practice. International Computing Symposium 1977: 103-110 - Didier Bert:
Problem Specification and Algorithmic Programming. International Computing Symposium 1977: 111-117 - Dennis de Champeaux:
Solutions and Their Problems. International Computing Symposium 1977: 119-127 - Jiri Hoppe:
A Comparison of MODULA with Other System Programming Languages. International Computing Symposium 1977: 129-133 - Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone:
More Flexible and Powerful Control Constructs for Structured Programming. International Computing Symposium 1977: 135-142 - Eduard Mumprecht:
The Funnel, a New and Practical Presentation Method for Program Building Blocks. International Computing Symposium 1977: 143-150 - E. Mark Gold:
Semantic Approach to Design fo Controller Languages and Hardware. International Computing Symposium 1977: 151-166 - Marco Maiocchi:
Extension of Precompilers for Evaluation of Program Tests. International Computing Symposium 1977: 167-174 - Václav Chvalovský:
Structured Programming in Cobol - Yet Another Approach. International Computing Symposium 1977: 175-182 - Andrew T. Arblaster:
Some Measures of Information about Program States. International Computing Symposium 1977: 183-190 - Flaviu Cristian:
A Case Study in Modular Design. International Computing Symposium 1977: 191-196
Properties of Programs
- John Yiannis Cotronis, Peter E. Lauer:
Verification of Concurrent Systems of Processes. International Computing Symposium 1977: 197-207 - Otthein Herzog:
Automatic Deadlock Analysis of Parallel Programs. International Computing Symposium 1977: 209-216 - Raymond R. Devillers, Guy Louchard:
Using Auxiliary Variables in Parallel Programs Verification. International Computing Symposium 1977: 217-225
Compilers
- Augusto Celentano:
Parsing Languages Described by Syntax Graphs. International Computing Symposium 1977: 227-235 - Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts:
Project LILA. The ELL(1) Generator of LILA, an Introduction. International Computing Symposium 1977: 237-251
Computer Applications
- Éric De Borchgrave, Réginald-Ferdinand Poswick:
Computer Work for Literary Production. A Particular Application for Biblical Studies. International Computing Symposium 1977: 253-259 - David Al-Dabass:
Microprocessor Based Parallel Computers and Their Application to the Solution of Control Algorithms. International Computing Symposium 1977: 261-270 - A. Brini, R. Ferrari, T. Montagna, M. Montagni, G. Perna, J. Szanto:
GOSPEL: a Time-Sharing Approach to Continuous System Simulation. International Computing Symposium 1977: 271-275
Modelling of Programs Behavior
- Domenico Ferrari, Makoto Kobayashi:
Program Restructuring Algorithms for Global LRU Environments. International Computing Symposium 1977: 277-283 - P. Ribeyre, P. Y. Saintoyant:
A Predictive Tool for the Improvement of Program Behaviour. International Computing Symposium 1977: 285-290
Modelling
- Arne Nilsson:
The Variance of Conditional Waiting Time for the M/G/1 Queue. International Computing Symposium 1977: 291-298 - J. J. Dumont, Guy Latouche:
Analysis of a Foreground-Background System with Two Levels of Priority among Foreground Jobs. International Computing Symposium 1977: 299-304 - Guy Latouche:
Optimal Partitioning of a Finite Buffer between Two Pairs of Producer-Consumer. International Computing Symposium 1977: 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. International Computing Symposium 1977: 315-318
Computer Networks/Distributed Processing
- Jan van den Bos:
A Design of a Communication Supervisor for a Local Network Employing Monitors. International Computing Symposium 1977: 319-323 - Alan D. Pearman:
Optimal and Sub-Optimal Configurations for Computer Networks. International Computing Symposium 1977: 325-333 - Livio Lazzeri, Luciano Lenzini, Allen Springer:
Terminal Access to Host Computers through RPCNET. International Computing Symposium 1977: 335-344 - Giacomo Bucci, S. Golinelli:
A Distributed Strategy for Resource Allocation in Information Networks. International Computing Symposium 1977: 345-356 - F. E. Taylor:
The Relative Merits of Distributed Computing Systems. International Computing Symposium 1977: 357-365
Sorting
- Eero Peltola, Hannu Erkiö:
Balanced Internal Merge Sorting. International Computing Symposium 1977: 367-371 - Wolfgang Janko:
An Insertion Sort for Uniformly Distributed Keys Based on Stopping Theory. International Computing Symposium 1977: 373-379
Theoretical DP
- Chris J. Hinde:
Algorithmic Embedding in Fuzzy Sets. International Computing Symposium 1977: 381-387 - Paulo A. S. Veloso:
Some Bounds on Quasi-Initialised Finite Automata. International Computing Symposium 1977: 389-393 - Vangalur S. Alagar, David K. Probst:
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium 1977: 395-402
Graphics
- G. Barta:
GRIN - A Simple Command Language for Graphic Interaction. International Computing Symposium 1977: 403-409 - L. C. Caruthers, D. Groot, E. Hermans, Andries van Dam, Jan van den Bos:
GPGS - General Purpose Graphic System. International Computing Symposium 1977: 411-416
Interactive Languages
- Ernst Denert:
Specification and Design of Dialogue Systems with State Diagrams. International Computing Symposium 1977: 417-424 - E. Lopes Cardozo:
Time-Dependent Blocking of Terminal Input. International Computing Symposium 1977: 425-427 - R. A. Cowan:
DPL: A Mathematical Computation System. International Computing Symposium 1977: 429-439
Systems Programming
- Marco Bellia, Giorgio Levi:
Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium 1977: 441-450 - Daniel Thalmann, Bernard Levrat:
SPIP: A Way of Writing Portable Operating Systems. International Computing Symposium 1977: 451-459 - Lester Lipsky:
Comparison of Performance Measurements of a Computer System with a Queueing Model. International Computing Symposium 1977: 461-466
Data Base Systems
- Paul Lindgreen, Edith Rosenberg:
SODA - A Flexible Scheme for Database/ Program Interface. International Computing Symposium 1977: 467-473 - Fabio Alberto Schreiber:
A Framework for Distributed Database Systems. International Computing Symposium 1977: 475-482 - Gunter Schlageter:
To the Problem of Record Placement in Inverted File Systems. International Computing Symposium 1977: 483-489 - Mohammad Inam ul Haq:
On Safeguarding Statistical Disclosure by Giving Approximate Answers to Queries. International Computing Symposium 1977: 491-495 - Herbert Weber:
D-GRAPHS: A Conceptial Model for Data Bases. International Computing Symposium 1977: 497-504 - H. R. Schuchmann:
Privacy Protection - Is It just an Engineering Issue? International Computing Symposium 1977: 505-510
Tutorials
- Dines Bjørner:
Programming Languages: Linguistics and Semantics. International Computing Symposium 1977: 511-536 - Cliff B. Jones:
Program Specifications and Formal Development. International Computing Symposium 1977: 537-553 - Max Vetter:
Principles of Data Base Systems. International Computing Symposium 1977: 555-580
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.