
Programmiersprachen by Hj Schneider
Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach- tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal- ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach- gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver- standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber- wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi- tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale- xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen:1aben.-
Das PLAKON-Buch
-
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
-
Fachtagung Prozessrechner 1977
-
Mustererkennung 1987
-
Mustererkennung 1984
-
Digitale Bildverarbeitung Digital Image Processing
-
Modelle für Rechensysteme
-
Betrieb von Rechenzentren
-
GI — 6. Jahrestagung
-
Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
-
Ein Roboteraktions-planungssystem
-
Mustererkennung 1990
-
Graphik im Bürobereich
-
Textgenerierung aus visuellen Daten: Beschreibungen von Straßenszenen
-
2. Workshop Sichtsysteme —
-
Fachtagung Prozeßrechner 1981
-
First European Simulation Congress ESC 83
-
GWAI-82
-
Die Konfigurierung modular aufgebauter Datenbanksysteme
-
Synchronisation in Mehrrechner-Datenbanksystemen
-
Planen für autonome Montageroboter
-
GI — 7. Jahrestagung
-
Künstliche Intelligenz
-
Kollisionsfreie Bahnen für Industrieroboter
-
Data Networks with Satellites
-
Programmiersprachen und Programmentwicklung
-
Fehlertolerierende Rechensysteme
-
Firmware Engineering
-
Rechnernetze und Datenfernverarbeitung
-
PEARL 91 - Workshop über Realzeitsysteme
-
Erzeugung und Analyse von Bildern und Strukturen
-
Generierung von Worthypothesen in kontinuierlicher Sprache
-
Applications and Theory of Petri Nets
-
GI — 8. Jahrestagung
-
Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
-
Organisation und Betrieb der Informationsverarbeitung
-
Organisation von Rechenzentren
-
Datenbank-Systeme für Büro, Technik und Wissenschaft
-
Betrieb von DV-Systemen in der Zukunft
-
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
-
Datenschutz bei riskanten Systemen
-
Formale Modelle für Informationssysteme
-
Kommunikation in Verteilten Systemen II
-
Datenverarbeitung im Marketing
-
Öffentliche Verwaltung und Informationstechnik
-
Termersetzungssysteme
-
Approximative Public-Key-Kryptosysteme
-
GWAI-84
-
ASST ’87 6. Aachener Symposium für Signaltheorie
| SKU | Unavailable |
| ISBN 13 | 9783540076193 |
| ISBN 10 | 3540076190 |
| Title | Programmiersprachen |
| Author | Hj Schneider |
| Series | Informatik-Fachberichte |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1976-08-01 |
| Number of pages | 270 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |
















































