The Turing Programming Language
Subtitle: Design and Definition
Publisher: Prentice Hall
Published: 1988
Place of publication: Englewood Cliffs, N.J., USA
Format: paperback
Number of pages: 325
Table of contents: label: 1
title: Introduction
pagenum: 1; label: 2
title: Design Goals for the Turing Programming Language
pagenum: 7; label: 3
title: Features of the Turing Language
pagenum: 39; label: 4
title: The Turing Report
pagenum: 55; label: 5
title: Overview of the Formal Definition of Turing
pagenum: 115; label: 6
title: Lexical Structure
pagenum: 131; label: 7
title: Context-Free Syntax
pagenum: 137; label: 8
title: Context Conditions: Static Legality of Turing Programs
pagenum: 149; label: 9
title: Formal Semantics: The Meaning of Turing Programs
pagenum: 217; label: A
title: Soul of the Turing Language
pagenum: 261; label: B
title: Theorem about Lexical Sequences
pagenum: 269; label: C
title: Translating Extended Context-Free Syntax
pagenum: 271; label: D
title: Turing's Abstract Context-Free Syntax
pagenum: 273; label: E
title: Formal Operational Semantics
pagenum: 279; label: F
title: Available Implementations of Turing
pagenum: 285; title: Bibliography
pagenum: 287; title: Index
pagenum: 293