Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 4 featured editions. View all 4 editions?
Edition | Availability |
---|---|
1
The Turing Programming Language: Design and Definition
1988, Prentice Hall
paperback
0139331360 9780139331367
|
aaaa
Libraries near you:
WorldCat
|
2
The Turing programming language: design and definition
1988, Prentice Hall
in English
0139331360 9780139331367
|
zzzz
Libraries near you:
WorldCat
|
3
The Turing Programming Language: Design and Definition
November 1987, Prentice Hall
Paperback
in English
0139331360 9780139331367
|
zzzz
Libraries near you:
WorldCat
|
4
The Turing Programming Language: Design and Definition
November 1987, Prentice Hall
in English
0139331360 9780139331367
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Table of Contents
1.
Introduction
Page 1
2.
Design Goals for the Turing Programming Language
Page 7
3.
Features of the Turing Language
Page 39
4.
The Turing Report
Page 55
5.
Overview of the Formal Definition of Turing
Page 115
6.
Lexical Structure
Page 131
7.
Context-Free Syntax
Page 137
8.
Context Conditions: Static Legality of Turing Programs
Page 149
9.
Formal Semantics: The Meaning of Turing Programs
Page 217
A.
Soul of the Turing Language
Page 261
B.
Theorem about Lexical Sequences
Page 269
C.
Translating Extended Context-Free Syntax
Page 271
D.
Turing's Abstract Context-Free Syntax
Page 273
E.
Formal Operational Semantics
Page 279
F.
Available Implementations of Turing
Page 285
Bibliography
Page 287
Index
Page 293
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created January 19, 2016
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 23, 2024 | Edited by MARC Bot | import existing book |
February 16, 2023 | Edited by ISBNbot2 | normalize ISBN |
January 15, 2023 | Edited by ImportBot | import existing book |
November 17, 2022 | Edited by ImportBot | import existing book |
January 19, 2016 | Created by r. clayton | Added new book. |