Nagl / Schneider | Programmiersprachen | Buch | 978-3-540-07619-3 | sack.de

Buch, Deutsch, Englisch, Band 1, 270 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 488 g

Reihe: Informatik-Fachberichte

Nagl / Schneider

Programmiersprachen

4. Fachtagung der GI Erlangen, 8.-10. März 1976
1. Auflage 1976
ISBN: 978-3-540-07619-3
Verlag: Springer Berlin Heidelberg

4. Fachtagung der GI Erlangen, 8.-10. März 1976

Buch, Deutsch, Englisch, Band 1, 270 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 488 g

Reihe: Informatik-Fachberichte

ISBN: 978-3-540-07619-3
Verlag: Springer Berlin Heidelberg

xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen:1aben.

Nagl / Schneider Programmiersprachen jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Nagl, M.
Schneider, H.J.

Weitere Infos & Material

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 höhere Programmiersprachen.- Systematische Analyse semantischer Abhängigkeiten.- Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestützten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache für die Prozeßsteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit räumlich 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 Unterstützung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID — eine problembezogene Programmiersprache für die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE — Eine Sprache für 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 höheren Programmiersprachen durch Repräsentationen von Gruppen.- Hauptvorträge/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments onProgramming Language Design.- On Generating Verification Conditions for Correctness Proofs.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.