The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science (160))

Yuasa, T., Nakajima, R.

ISBN 10: 3540126937 / ISBN 13: 9783540126935

Published by Springer, 1983

About this Item

Very Good.

Seller Inventory # ERICA79735401269376

Bibliographic Details

• Title: The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science (160))
• Publisher: Springer
• Publication Date: 1983
• Language: English
• ISBN 10: 3540126937
• ISBN 13: 9783540126935
• Binding: Paperback
• Condition: Very Good
• Book Type: book

About this title

Synopsis

1. Language, logical foundation, verification.
2. System supports for modular programming.
3. Strategies and techniques for interactive proof.
4. Supports for building modules, modulebase.
5. Language processing.
6. Verification system.
7. Proof system.
8. Supports for cooperative modular programming.
9. Program development with he IOTA system - KWIC example.