The IOTA Programming System - A Modular Programming Environment

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 witht he IOTA system ¿ KWIC example.

List of contents

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 witht he IOTA system - KWIC example.

Product details

• Assisted by: Nakajima (Editor), R Nakajima (Editor), R. Nakajima (Editor), Yuasa (Editor), Yuasa (Editor), T. Yuasa (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.1960
• EAN: 9783540126935
• ISBN: 978-3-540-12693-5
• No. of pages: 217
• Weight: 376 g
• Illustrations: IX, 217 p.
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT