Ebook: Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

---

Content:
Front Matter....Pages -
On the structure of feasible computations....Pages 3-51
Toward a methodology for designing large systems and verifying their properties....Pages 52-67
Datenschutz und Gesellschaft....Pages 68-84
Trends in computer science education....Pages 85-93
How to teach computer science to students who don't like science....Pages 94-103
The solution of problems relative to probabilistic automata in the frame of the formal languages theory....Pages 107-112
Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen....Pages 113-121
Comparing several ways of context-independent parallel rewriting....Pages 122-130
Das Problem der ‘unendlichen Modi’ in ALGOL 68....Pages 131-139
The D-calculus: A system to describe the semantics of programs involving complex data types....Pages 140-152
Effizienzvergleiche von Bewetsprozeduren....Pages 153-160
Drei Komplexit?tsmasse zweistufiger Normalformen Boolescher Funktionen....Pages 161-169
Zwei BASIC — Systeme von unterschiedlicher struktur — Ein vergleich ihrer benutzerfreundlichkeit und effizienz....Pages 173-182
Speicherzuordnung an datenstrukturen....Pages 183-191
Syntax-directed description of incremental compilers....Pages 192-201
Plan2D — towards a two-dimensional programming language....Pages 202-213
On a SLR(k)-based parser system which accepts Non-LR(k)grammars....Pages 214-223
A binary control structure and its relationship to grammars and side effects....Pages 224-232
A technique for parsing ambiguous languages....Pages 233-246
Optimization of generated code by means of attributes : Local elimination of common redundant sub-expressions....Pages 247-256
Code-Optimierung mittels attributierter Transformationsgrammatiken....Pages 257-266
Die dynamische Datenbasis des HALORD Systems....Pages 267-276
Semantische Aspekte der Programmoptimierung....Pages 277-286
Deadlock conditions in well structured modular systems....Pages 289-298
?ber Die Lebensdauer Von Prozessen In Nichtsequentiellen Algorthmen....Pages 299-307
Modularer Aufbau einer Familie von kooperierenden Prozessen....Pages 308-315
Vermeidung von Verklemmungen in bewerteten Petrinetzen....Pages 316-325
P-T-Netze zur numerischen Simulation von asynchronen Fluessen....Pages 326-335
Elementare Steuerknoten in Datenflu?modellen....Pages 336-344
E-V-Schemata Ein Ansatz zur formalen Behandlung paralleler Prozesse....Pages 345-354
Zur Theorie unendlicher Parallelprozessoren....Pages 355-364
Fail-softness criteria in the realization of a minicomputer disk operating system to be used in an “open-shop” university environment....Pages 367-376
Operating systems with characteristics of portability for minicomputers....Pages 377-385
Trace driven studies of deadlock control and job scheduling....Pages 386-395
Zur Leistungsbewertung von Multiprozessor-Strukturen....Pages 396-405
Memory and processor utilization in safe states....Pages 406-415
Virtuelle Maschinen in einem allgemeinen Time-Sharing-Betriebssystem....Pages 416-427
Ein Kommunikationsbetriebssystem f?r ein sternf?rmiges Rechnernetz....Pages 428-436
On classification schemes for computer systems in the Post-Von-Neumann-Era....Pages 439-452
Micro-programming measurement techniques for the Burroughs B1700....Pages 453-462
?ber die Wirksamkeit zyklischer Abfertigungsstrategien in Realzeitsystemen....Pages 463-472
Probleme der elektronischen Rechtsdokumentation — dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G....Pages 475-483
Entwurf eines Datenbanksystems f?r normierte Kennwerte von Eisen- und Stahlwerkstoffen....Pages 484-493
Aspects of generality and efficiency in programming language implementation....Pages 494-501
Zum Problem der Anonymit?t der Befragten bei statistischen Datenbanken mit Dialogauswertung....Pages 502-511
Zugriffssicherung in Datenbanksystemen....Pages 512-523
A query language for a relational data base....Pages 524-531
Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten Datenbankmodells....Pages 532-541
Beitrag zur Spezifikation der Funktion von generalisierten Datenbankmanagementsystemen....Pages 542-553
A structured database....Pages 554-562
The partitioning of a data base into subfiles matching user's queries....Pages 563-575
A note on advanced software techniques in computer graphics....Pages 579-588
Die Definition generalisierter, graphischer Eingabeger?te....Pages 589-595
Pattern recognition of virus induced cell changes....Pages 596-605
Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente....Pages 606-610
Giulia — Ein System Zum Verarbeiten analytisch gegebener Fl?chen....Pages 611-620
Die Anwendung der B-Spline-Approximation in Computer Graphics....Pages 621-630
Ein benutzerorientiertes Informationssystem fuer Landesplanerische Applikationen....Pages 633-640
CAMS: Computer augmented mapping system....Pages 641-651
Computer aided design — Some occupational and social implications....Pages 652-658
Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP)....Pages 659-669
Bericht von einer dreisemestrigen Seminar-Reihe ?ber ein Thema aus dem Hardware-Bereich....Pages 673-678
An undergraduate group project in software engineering....Pages 679-685
Ein Dialogprogrammiersystem f?r den Unterricht in Programmiersprachen....Pages 686-695
Berufsbild und Perspektiven des Informatikers....Pages 696-702
Konzept und Studienplan f?r eine Fachrichtung "Wirtschaftsinformatik" im Studiengang "Informatik" der TU Berlin....Pages 703-712
Grundausbildung in Informatik....Pages 713-715
Erfahrungen mit dem Versuch eines integrierten Informatik-Grundstudiums....Pages 716-729
Informatik an allgemeinbildenden Schulen....Pages 730-739
Back Matter....Pages -

---

Content:
Front Matter....Pages -
On the structure of feasible computations....Pages 3-51
Toward a methodology for designing large systems and verifying their properties....Pages 52-67
Datenschutz und Gesellschaft....Pages 68-84
Trends in computer science education....Pages 85-93
How to teach computer science to students who don't like science....Pages 94-103
The solution of problems relative to probabilistic automata in the frame of the formal languages theory....Pages 107-112
Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen....Pages 113-121
Comparing several ways of context-independent parallel rewriting....Pages 122-130
Das Problem der ‘unendlichen Modi’ in ALGOL 68....Pages 131-139
The D-calculus: A system to describe the semantics of programs involving complex data types....Pages 140-152
Effizienzvergleiche von Bewetsprozeduren....Pages 153-160
Drei Komplexit?tsmasse zweistufiger Normalformen Boolescher Funktionen....Pages 161-169
Zwei BASIC — Systeme von unterschiedlicher struktur — Ein vergleich ihrer benutzerfreundlichkeit und effizienz....Pages 173-182
Speicherzuordnung an datenstrukturen....Pages 183-191
Syntax-directed description of incremental compilers....Pages 192-201
Plan2D — towards a two-dimensional programming language....Pages 202-213
On a SLR(k)-based parser system which accepts Non-LR(k)grammars....Pages 214-223
A binary control structure and its relationship to grammars and side effects....Pages 224-232
A technique for parsing ambiguous languages....Pages 233-246
Optimization of generated code by means of attributes : Local elimination of common redundant sub-expressions....Pages 247-256
Code-Optimierung mittels attributierter Transformationsgrammatiken....Pages 257-266
Die dynamische Datenbasis des HALORD Systems....Pages 267-276
Semantische Aspekte der Programmoptimierung....Pages 277-286
Deadlock conditions in well structured modular systems....Pages 289-298
?ber Die Lebensdauer Von Prozessen In Nichtsequentiellen Algorthmen....Pages 299-307
Modularer Aufbau einer Familie von kooperierenden Prozessen....Pages 308-315
Vermeidung von Verklemmungen in bewerteten Petrinetzen....Pages 316-325
P-T-Netze zur numerischen Simulation von asynchronen Fluessen....Pages 326-335
Elementare Steuerknoten in Datenflu?modellen....Pages 336-344
E-V-Schemata Ein Ansatz zur formalen Behandlung paralleler Prozesse....Pages 345-354
Zur Theorie unendlicher Parallelprozessoren....Pages 355-364
Fail-softness criteria in the realization of a minicomputer disk operating system to be used in an “open-shop” university environment....Pages 367-376
Operating systems with characteristics of portability for minicomputers....Pages 377-385
Trace driven studies of deadlock control and job scheduling....Pages 386-395
Zur Leistungsbewertung von Multiprozessor-Strukturen....Pages 396-405
Memory and processor utilization in safe states....Pages 406-415
Virtuelle Maschinen in einem allgemeinen Time-Sharing-Betriebssystem....Pages 416-427
Ein Kommunikationsbetriebssystem f?r ein sternf?rmiges Rechnernetz....Pages 428-436
On classification schemes for computer systems in the Post-Von-Neumann-Era....Pages 439-452
Micro-programming measurement techniques for the Burroughs B1700....Pages 453-462
?ber die Wirksamkeit zyklischer Abfertigungsstrategien in Realzeitsystemen....Pages 463-472
Probleme der elektronischen Rechtsdokumentation — dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G....Pages 475-483
Entwurf eines Datenbanksystems f?r normierte Kennwerte von Eisen- und Stahlwerkstoffen....Pages 484-493
Aspects of generality and efficiency in programming language implementation....Pages 494-501
Zum Problem der Anonymit?t der Befragten bei statistischen Datenbanken mit Dialogauswertung....Pages 502-511
Zugriffssicherung in Datenbanksystemen....Pages 512-523
A query language for a relational data base....Pages 524-531
Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten Datenbankmodells....Pages 532-541
Beitrag zur Spezifikation der Funktion von generalisierten Datenbankmanagementsystemen....Pages 542-553
A structured database....Pages 554-562
The partitioning of a data base into subfiles matching user's queries....Pages 563-575
A note on advanced software techniques in computer graphics....Pages 579-588
Die Definition generalisierter, graphischer Eingabeger?te....Pages 589-595
Pattern recognition of virus induced cell changes....Pages 596-605
Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente....Pages 606-610
Giulia — Ein System Zum Verarbeiten analytisch gegebener Fl?chen....Pages 611-620
Die Anwendung der B-Spline-Approximation in Computer Graphics....Pages 621-630
Ein benutzerorientiertes Informationssystem fuer Landesplanerische Applikationen....Pages 633-640
CAMS: Computer augmented mapping system....Pages 641-651
Computer aided design — Some occupational and social implications....Pages 652-658
Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP)....Pages 659-669
Bericht von einer dreisemestrigen Seminar-Reihe ?ber ein Thema aus dem Hardware-Bereich....Pages 673-678
An undergraduate group project in software engineering....Pages 679-685
Ein Dialogprogrammiersystem f?r den Unterricht in Programmiersprachen....Pages 686-695
Berufsbild und Perspektiven des Informatikers....Pages 696-702
Konzept und Studienplan f?r eine Fachrichtung "Wirtschaftsinformatik" im Studiengang "Informatik" der TU Berlin....Pages 703-712
Grundausbildung in Informatik....Pages 713-715
Erfahrungen mit dem Versuch eines integrierten Informatik-Grundstudiums....Pages 716-729
Informatik an allgemeinbildenden Schulen....Pages 730-739
Back Matter....Pages -
....