The IOTA Programming System
A Modular Programming Environment
Published on 1. October 1983
Book
Paperback/Softback
IX, 217 pages
978-3-540-12693-5 (ISBN)
Description
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.
More details
Series
Edition
1983 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
IX, 217 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
359 gr
ISBN-13
978-3-540-12693-5 (9783540126935)
DOI
10.1007/3-540-12693-7
Schweitzer Classification
Content
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.