Programmiersprachen : 4. Fachtagung der GI Erlangen, 8.-10. März 1976
著者
書誌事項
Programmiersprachen : 4. Fachtagung der GI Erlangen, 8.-10. März 1976
(Informatik-Fachberichte, 1)
Springer, 1976
大学図書館所蔵 全1件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
内容説明・目次
内容説明
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.
目次
Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf hoehere Programmiersprachen.- Systematische Analyse semantischer Abhangigkeiten.- Ein algebraischer Ansatz fur Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestutzten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache fur die Prozesssteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit raumlich verteilten Prozessorstationen.- Programmiertechnik/Programming Methodology.- Programming-in-the-Large versus Programming-in-the-Small.- Implementierungssprachen/Implementation Languages.- Einige Eigenschaften der Programmiersprache BALG.- SLAN - eine erweiterbare Sprache zur Unterstutzung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- UEber die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen fur Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID - eine problembezogene Programmiersprache fur die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE - Eine Sprache fur Linguisten.- Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.- Syntax-error Recovery in LR-Parsers.- Generating Error Recovery in a Compiler Generating System.- Darstellung der Artanpassung in hoeheren Programmiersprachen durch Reprasentationen von Gruppen.- Hauptvortrage/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments on Programming Language Design.- On Generating Verification Conditions for Correctness Proofs.
「Nielsen BookData」 より