3. GI Jahrestagung 1973: Hamburg

Hauptvorträge

• Julius T. Tou:
  Information Systems. 489-507
  
• Michael A. Harrison:
  On Covers and Precedence Analysis. 2-17
  
• Gordon Bell:
  Computer Architecture: Comments on the State-of-the Art. 18-24
  
• Edward G. Coffman Jr.:
  A Survey of Mathematical Results in Flow-Time Scheduling for Computer Systems. 25-46
  

Automatentheorie

• Gerhard F. Beckhoff:
  Controllability-Observability Type Duality Relations of Finite-State Machines. 48-59
  
• Jerzy W. Grzymala-Busse:
  On the Problem of Automata Set Representation. 60-69
  
• Vaclav Rajlich:
  On Oriented Hypergraphs and on Dynamics of Some Discrete Systems (Abstract). 70
  

Effiziente Algorithmen

• Wolfgang J. Paul:
  Optimale Algorithmen zum Transponieren Quadratischer Matrizen. 72-80
  
• Hans Jürgen Schneider, D. Weber:
  Ein Test der Einbettbarkeit Markierter Graphen unter Verwendung einer Hash-Codierung. 81-91
  

Syntax von Programmiersprachen

• Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli:
  Towards an Automatic Generation of Interpreters. 94-103
  
• M. Bouckaert, Alain Pirotte, M. Snelling:
  Improvements to Earley's Context-Free Parser. 104-112
  
• Detlef Wotschke:
  The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages. 113-121
  

Semantik von Programmiersprachen

• Herbert Kopp:
  Eine Theorie der Semantik von Programmiersprachen. 124-133
  
• Ward Douglas Maurer:
  Induction Principles for Context-Free Languages. 134-143
  
• Bernard J. Robinet:
  About the Completeness of APL. 144-150
  
• Karel Culík:
  Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). 151-153
  

Programmier- und Dialogsprachen

• Hans-Jürgen Hoffmann, Gerhard Winkler:
  Kontext-Sensitive Generierung beim Programmieren durch Auswählen. 156-167
  
• Ingbert Kupka:
  Zur Charakterisierung von Dialogsprachen. 168-177
  
• Walter Sonnenberg:
  Modularität durch 'Konzeptklassen'. 178-185
  

Programmiersprachen und Übersetzer

• Franz Geiselbrechtinger, Wolfgang Hesse, Bernd Krieg, H. Scheidig:
  L0, the Basic Layer of the Wide Spectrum Language L. 188-197
  
• H. Ovenhausen:
  Gezielte Portabilität von Software. 198-209
  
• Alfred A. Schmitt, Karl Dürre, Helmut Hummel:
  Entwurf und Realisierung des Lektor-Systems. 210-218
  

Betriebssysteme

• Alfons J. Jammel:
  Zur Modellierung von Prozessystemen. 220-224
  
• H. Siegler:
  Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen. 225-233
  
• M. Fleck, P. Oliva:
  Variable Sequentialisierungsstrukturen und deren Hardwareunterstützte Realisierung (Kurzfassung). 234-235
  
• Sigram Schindler, J. Wagner:
  Optimale Zerlegung von Computerprogrammen durch Zerlegung von Graphen. 236-245
  
• Stephen W. Smoliar:
  Systemic Aspects of Musical Activity. 246-250
  

Rechnerorganisation und Schaltwerke

• A. Frick, H. J. Bürkle, Christoph Schlier:
  Ein Rechner mit der höheren Maschinensprache BASIC. 252-260
  
• Reiner W. Hartenstein:
  Hierarchy of Interpreters for Modelling Complex Digital Systems. 261-269, 508
  
• Wolfgang Escher:
  Erzeugung von Brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen. 270-279

Rechnersysteme - Analyse und Messung

• Heinz Beilner:
  Die Methode der Ausgewogenen Abweichung; ein Hilfsmittel zur Zielstrebigen Leistungsverbesserung von Rechensystemen. 282-291
  
• G. Gschwind, J. Pachaly:
  An Interpretative Performance Monitor for Time Sharing System Evaluation (Abstract). 292-293
  
• Gerhard Mersmann:
  Messung, Simulation und Berechnung der Abhängigkeiten des Auftragsdurchsatzes. 294-303
  
• Manfred Langenbach-Belz:
  Vergleich zweier Warteschlagenmodelle für Realzeit-rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie. 304-313
  
• Joachim Swoboda, Wilhelm Rosenbohm:
  Modell für den Befehlsablauf in einer Rechenanlage: Eine Serverkette mit vorgebbarer Varianz der Belegungsdauern. 314-326
  
• Otto Spaniol:
  Optimale Nachladestrategien unter Berücksichtigung der Programmstruktur. 327-336
  

Informationssysteme

• Eckhard D. Falkenberg:
  Resultatsspezifizierende Handhabung von Datensystemen. 338-347
  
• Hans-Jürgen Skronn:
  Gibt es ein Alternativkonzept zu den Datenbanktechniken der Data Base Task Group (CODASYL)? 348-356
  
• Donald B. Crouch:
  Reduction of Retrieval Costs for On-Line Retrieval Systems. 357-362
  
• Hans-Dieter Ehrich:
  Datenstrukturen und Q-Systeme - Eine Mathematische Studie. 363-371
  
• Horst Wedde:
  Lose Kopplung in Informationssystemen. 372-381
  

Prozessrechner

• Johann F. Böhme:
  Probleme bei der Signaldetektion mit einem Prozessrechner. 384-393
  
• Hartwig U. Steusloff, R. Grimm:
  Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern. 394-404
  
• Winfried Blumann:
  Die Anwendung des Prinzips der Mikroprogrammierung auf das Ein-/Ausgabesystem eines Prozessrechnerorganisationsprogramms. 405-412
  

Linguistische Untersuchungen

• Stephan Braun:
  Automatische Indexierung durch Linguistische Syntaxanalyse. 414-420
  
• Gerda Schott:
  Linguistische Algorithmen zur Deflexion als Mittel zum Automatischen Indexieren im Deutschen. 421-430
  
• Peter Schefe:
  Kompetenz- oder Performanzmodellierung? Einige Psycholinguistische Vorüberlegungen zur Konstruktion von Dialogsystemen und -sprachen. 431-441
  

Methoden der Informatik für spezielle Anwendungen

• Andreas Lie, Thomas Røgeberg:
  SIMWAP and TETRASIM - Two Examples of Application Oriented Software, Developed on the Basis of the SIMULA Language. 444-454
  
• Ingolf Grieger:
  Darstellungsverfahren für das Computerunterstützte Konstruieren. 455-464
  
• Klaus Leinemann, Ulrich Schumann:
  Eine Wortsprache zur Beschreibung technischer Objekte. 465-473
  
• Peter Hecheltjen:
  Verfahren zur Simulation Sozioökonomischer Systeme. 474-484