The IOTA programming system : a modular programming environment
Author(s)
Bibliographic Information
The IOTA programming system : a modular programming environment
(Lecture notes in computer science, 160)
Springer-Verlag, 1983
- : gw
- : us
- Other Title
-
IOTA programming system
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||1602989755
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:160891029420
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [214]-217
Description and Table of Contents
Table 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.
by "Nielsen BookData"