Cantitate/Preț
Produs

Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976: Informatik-Fachberichte, cartea 1

Editat de H.J. Schneider, M. Nagl
de Limba Germană Paperback – aug 1976

Din seria Informatik-Fachberichte

Preț: 41893 lei

Preț vechi: 52366 lei
-20% Nou

Puncte Express: 628

Preț estimativ în valută:
8017 8319$ 6701£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540076193
ISBN-10: 3540076190
Pagini: 280
Ilustrații: VI, 270 S.
Dimensiuni: 170 x 244 x 15 mm
Greutate: 0.45 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.