An edition of The Turing Programming Language (1987)

The Turing Programming Language

Design and Definition

by , , , , , and

Cover of: The Turing Programming Language by Richard C. Holt, Philip A. Matthews, J. Alan Rosselet, James R. Cordy, R. C. Holt, J. R. Cordy
Preview
Borrow

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 23, 2024 | History
Edit
An edition of The Turing Programming Language (1987)

The Turing Programming Language

Design and Definition

by , , , , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Prentice Hall
Pages
325

Check nearby libraries

Buy this book

Subjects

Turing (Computer program language), Programming languages (electronic computers)
Edition Availability
Cover of: The Turing Programming Language
The Turing Programming Language: Design and Definition
1988, Prentice Hall
paperback
Cover of: The Turing programming language
The Turing programming language: design and definition
1988, Prentice Hall
in English
Cover of: The Turing Programming Language
The Turing Programming Language: Design and Definition
November 1987, Prentice Hall
Paperback in English
Cover of: The Turing Programming Language
The Turing Programming Language: Design and Definition
November 1987, Prentice Hall
in English

Add another edition?

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

Published in
Englewood Cliffs, N.J., USA

Classifications

Library of Congress
QA76.73.T85 T87 1988, QA76.73.T85T87 1988

The Physical Object

Format
paperback
Pagination
viii, 325p
Number of pages
325
Weight
545 grams

Edition Identifiers

Open Library
OL25887900M
Internet Archive
turingprogrammin0000unse
ISBN 10
0139331360
LCCN
87081455
OCLC/WorldCat
17377539

Work Identifiers

Work ID
OL17313941W

Source records

Scriblio MARC record
Better World Books record
Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
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.