مشخصات کتاب

Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976

ویرایش: [1 ed.] 
نویسندگان: Armin Cremers,  Thomas N. Hibbard (auth.),  Prof. Dr. Hans-Jürgen Schneider,  Dr. Manfred Nagl (eds.)  
سری: Informatik-Fachberichte 1 
ISBN (شابک) : 9783540076193, 9783642663192 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1976 
تعداد صفحات: 270
[276] 
زبان: German-English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 Mb 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان های برنامه نویسی: چهارمین سمپوزیوم GI Erlangen، 8.-10. مارس 1976 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب زبان های برنامه نویسی: چهارمین سمپوزیوم GI Erlangen، 8.-10. مارس 1976



توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Front Matter....Pages I-VI
The Semantical Definition of Programming Languages in Terms of Their Data Spaces....Pages 1-11
Anwendung der Axiomatischen Definitionsmethode Auf Höhere Programmiersprachen....Pages 12-18
Systematische Analyse Semantischer Abhaengigkeiten....Pages 19-32
Ein Algebraischer Ansatz für Kompilerkorrektheitsbeweise....Pages 33-42
Eine Methode Zur Rechnergestützten Verifikation von While-Programmen....Pages 43-51
Eine Dialogsprache für Die Prozess-Steuerung....Pages 52-62
Zur Programmierung von Echtzeitrechnersystemen Mit Räumlich Verteilten Prozessorstationen....Pages 63-79
Programming-in-the-Large Versus Programming-in-the-Small....Pages 80-89
Einige Eigenschaften der Programmiersprache BALG....Pages 90-100
SLAN — Eine Erweiterbare Sprache Zur Unterstotzung der Strukturierten und Modularen Programmierung....Pages 101-110
Cons-Freies Programmieren in LISP Unter Deletion-Strategie....Pages 111-123
Über die Entscheidbarkeit der Formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen....Pages 124-134
On the Implementation of Data Generality....Pages 135-144
Promid — Eine Problembezogene Programmiersprache Fuer die Mittlere Datentechnik....Pages 145-155
EHBIS: High Level Picture Programming....Pages 156-165
COMSKEE — Eine Sprache für Linguisten....Pages 166-174
Syntax-Error Recovery in LR-parsers....Pages 175-184
Generating Error Recovery in a Compiler Generating System....Pages 185-193
Darstellung der Artanpassung in Höheren Programmiersprachen Durch Repräsentationen von Gruppen....Pages 194-202
Mathematical Theory of Serial Computers....Pages 203-234
Some Comments on Programming Language Design....Pages 235-252
On Generating Verification Conditions for Correctness Proofs....Pages 253-267
Back Matter....Pages 268-270

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Project kid: 100 ingenious crafts for family fun: smart and surprising projects to make with and for your kids

دانلود کتاب The Lost Archaic Wall Around Athens

دانلود کتاب Psychosocial Interventions for Chronic Pain: In Search of Evidence

دانلود کتاب Mixing Medicines: Ecologies of Care in Buddhist Siberia

دانلود کتاب Artist's Painting Techniques