Peter O'Hearn, Robert Tennent

Algol-like Languages

• Broschiertes Buch

Produktdetails

• Progress in Theoretical Computer Science
• Verlag: Birkhäuser / Birkhäuser Boston / Springer, Basel
• Artikelnr. des Verlages: 978-0-8176-3936-5
• 1996
• Seitenzahl: 300
• Erscheinungstermin: 1. Dezember 1996
• Englisch
• Abmessung: 241mm x 160mm x 21mm
• Gewicht: 613g
• ISBN-13: 9780817639365
• ISBN-10: 0817639365
• Artikelnr.: 23897168

Inhaltsangabe

I Historical Background.- 1 Revised Report on the Algorithmic Language ALGOL 60.- 2 The Varieties of Programming Language.- II Basic Principles.- 3 The Essence of ALGOL.- 4 ALGOL and Functional Programming.- 5 Orthogonality of Assignments and Procedures in ALGOL.- 6 IDEALIZED ALGOL and its Specification Logic.- 7 Towards Fully Abstract Semantics for Local Variables.- III Language Design.- 8 Design of the Programming Language FORSYTHE.- 9 Assignments for Applicative Languages.- 10 Syntactic Control of Interference.