GI - 5. Jahrestagung: Dortmund, 8.-10. Oktober 1975 (Lecture Notes in Computer Science, 34) (German and English Edition)

Hrsg. Im Auftrag Der Gi Von J. Mühlbacher. On Spine: Proceedings 1975. English Or German. Includes Bibliographies. Information systems: A survey by examples....Pages 3-34 The problem of requirements analysis for information systems applications....Pages 35-48 Speichertechnik und Rechnerarchitektur....Pages 49-56 Mathematische Logik und Informatik....Pages 57-70 L systems, sequences and languages....Pages 71-84 Rechnernetzwerke — Möglichkeiten und Grenzen....Pages 85-93 Belaestigung der Menschen durch Computer....Pages 94-106 Bewertung von Dialogsystemen zum Dokumenten-Retrieval....Pages 107-117 Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten Tabellen....Pages 118-132 Ein Dialogsystem zur Methodensuche....Pages 133-148 Markierte Petrinetze und Σ — Teilsysteme....Pages 149-161 Introducing parallelism into sequential programs....Pages 162-176 Well formed programs optimal with respect to structural complexity....Pages 177-195 Merging control-flow and data-flow descriptions of structured systems in a unique notation....Pages 196-204 The construction of types of abstract machines in SIMAC....Pages 205-218 On the semantics of data bases: The semantics of data definition languages....Pages 219-234 A system to increase data independence in a hierarchical structure....Pages 235-246 Zugriffssynchronisation in Datenbanksystemen....Pages 247-258 Problems of the change of operating time of finite automata....Pages 259-268 Zur Konstruktion von Decodierautomaten....Pages 269-279 Zwei - Zähler - Automaten mit gekoppelten Bewegungen....Pages 280-289 Darstellung der Kategorie der determinierten Automaten als algebraische Kategorie....Pages 290-294 Experience of a departmental computer support network....Pages 295-309 Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten Computerverbund....Pages 310-318 Schnelle digitale Komponenten für grafische Sichtgeräte....Pages 319-332 Zur Strukturierung mehrstufiger Mustererkennungssysteme....Pages 333-348 Sysfap - an integrated system for application programs and data base management....Pages 349-365 Automatische Analyse und Prüfung von Eingabedaten....Pages 366-378 Implementierung von Zugriffspfaden durch Bitlisten....Pages 379-394 Kombination von sackgassenfreier Topdown- und Bottomup-Syntaxanalyse....Pages 395-408 Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen....Pages 409-419 Allgemeine Σ-Grammatiken....Pages 420-428 Dynamische Speicherverwaltung durch Hardware....Pages 429-444 Neue strukturierte Sprachkonzepte zur Prozessynchronisation....Pages 445-461 Auswertungsnetze als Hilfsmittel zur Modellbildung — Probleme und deren Lösungen....Pages 462-474 Eine statistische Analyse der statischen Eigenschaften von PL/I-Programmen....Pages 475-490 Pattern matching and call by pattern....Pages 491-499 On the design of programming languages including mini algol 68....Pages 500-504 Asynchrone Schaltwerksimulation mit Ssm, einer Simulationssprache für Schaltwerke mittels mehrwertiger Logik....Pages 505-522 Polynomial separation of ternary functions....Pages 523-533 Universelle Klassen O(log(MxN))-testbarer iterativer und sequentieller Schaltungen....Pages 534-544 A model of a time-sharing system with two classes of processes....Pages 545-566 Zur optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und Paging....Pages 567-580 Ein zeitdiskretes Wartesystem mit unterbrechenden Prioritaeten....Pages 581-592 Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen Vorlesungen....Pages 593-600 ALTID, eine Sprache für Lehr- und Informationsdialoge....Pages 601-610 Entwurf und Einsatz eines portablen RGU-Systems fuer die Lernersteuerung: LEGIS....Pages 611-624 SLS/1 : A translator writing system....Pages 625-641 An abstract ALGOL 68 machine and its application in a machine independent compiler....Pages 642-653 Verschränkung von Compiler-Moduln....Pages 654-666 First order logic as a tool to solve and classify problems....Pages 667-679 On evaluating recursion....Pages 680-690 Analogy categories, virtual machines, and structured programming....Pages 691-700 Kritischer Vergleich von Algorithmen für ein Scheduling-Problem....Pages 701-714 Performances of "least reference probability" paging algorithm under locality in program behavior....Pages 715-735 The logic of protection....Pages 736-751