Nakajima

The IOTA Programming System

A Modular Programming Environment
Mitarbeit:Nakajima, R.; Yuasa, Taiichi

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 160
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-12693-5
• 1983
• Seitenzahl: 232
• Erscheinungstermin: 1. Oktober 1983
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 376g
• ISBN-13: 9783540126935
• ISBN-10: 3540126937
• Artikelnr.: 09254224

Inhaltsangabe

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.