Bernd Teufel

Organization of Programming Languages

• Broschiertes Buch

Produktbeschreibung

Höhere Programmiersprachen und die ihnen zugrunde liegenden Konzepte bilden das Thema des Buches. Neben der Evolution der Programmiersprachen werden die wichtigsten Aspekte zur Übersetzung von Programmiersprachen betrachtet. Des weiteren werden Datentypen, Ausdrücke und Kontrollstrukturen, Prozeduren, Datenkapselung, Vererbung und Nebenläufigkeit im Detail diskutiert. Die drei wichtigsten Ansätze zur Beschreibung der Semantik von Programmiersprachen werden ansatzweise erläutert. Die unterschiedlichen Konzepte werden mit Beispielen aus den Sprachen ADA, PASCAL, MODULA-2, OBERON, C++, SIMULA 67, SMALLTALK-80 und EIFFEL verdeutlicht.

Produktdetails

• Verlag: Springer, Wien
• 1991.
• Seitenzahl: 224
• Erscheinungstermin: 23. September 1991
• Englisch
• Abmessung: 244mm x 170mm x 13mm
• Gewicht: 422g
• ISBN-13: 9783211823156
• ISBN-10: 3211823158
• Artikelnr.: 24463911

Inhaltsangabe

1 Principles of Programming Languages.- 1.1 Evolution of Programming Languages.- 1.2 Backus, Hoare, and Wirth.- 1.3 The Concept of Abstraction.- 1.4 Basic Terminology and Language Descriptions.- 2 Language Processing.- 2.1 Syntax vs Semantics.- 2.2 Formal Languages and Grammars.- 2.3 Compiler Aspects.- 2.4 Run-time Environments.- 3 Data Types.- 3.1 Specifications.- 3.2 The Concept of Binding.- 3.3 Elementary Data Types.- 3.4 Structured Data Types.- 3.5 Abstract Data Types.- 3.6 Type Checking.- 3.7 Implementation of Data Types.- 3.8 Variables: Scope and Lifetime.- 4 Expressions and Control Structures.- 4.1 Expressions and Operators.- 4.2 Implicit and Explicit Control.- 4.3 Selection Statements.- 4.4 Repetition Statements.- 4.5 Procedure Calls and Exception Handling.- 4.6 Coroutines and Tasks.- 5 Procedures.- 5.1 Basic Ideas.- 5.2 Parameter Passing.- 5.3 Procedure Parameters.- 5.4 Overloading.- 5.5 Generic Concepts.- 5.6 Procedure Implementation.- 6 Data Encapsulation.- 6.1 Abstraction, Information Hiding, and Encapsulation.- 6.2 Classes in SIMULA 67.- 6.3 Classes in C++.- 6.4 Classes in EIFFEL.- 6.5 Abstract Data Types in MODULA-2.- 6.6 Abstract Data Types in ADA.- 7 Inheritance.- 7.1 Basic Ideas.- 7.2 Subranges and Subtypes.- 7.3 Extended Types in OBERON.- 7.4 Inheritance in SIMULA 67.- 7.5 Inheritance in SMALLTALK-80.- 7.6 Inheritance in C++.- 8 Concurrency.- 8.1 Basic Ideas.- 8.2 Coroutines in SIMULA 67.- 8.3 Semaphores.- 8.4 Monitors.- 8.5 Messages.- 8.6 Concurrency in ADA.- 9 Semantics.- 9.1 Why Formal Semantics?.- 9.2 Operational Semantics.- 9.3 Denotational Semantics.- 9.4 Axiomatic Semantics.- Exercises.- References.