↓ Skip to main content
What is this page? Embed badge

The IOTA Programming System

Overview of attention for book
Cover of 'The IOTA Programming System'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Chapter 1. Language, logical foundation, verification
  4. Altmetric Badge
    Chapter 3 Chapter 2. System supports for modular programming
  5. Altmetric Badge
    Chapter 4 Chapter 3. Strategies and techniques for interactive proof
  6. Altmetric Badge
    Chapter 5 Chapter 4. Supports for building modules, modulebase
  7. Altmetric Badge
    Chapter 6 Chapter 5. Language processing
  8. Altmetric Badge
    Chapter 7 Chapter 6. Verification system
  9. Altmetric Badge
    Chapter 8 Chapter 7. Proof system
  10. Altmetric Badge
    Chapter 9 Chapter 8. Supports for cooperative modular programming
  11. Altmetric Badge
    Chapter 10 Chapter 9. Program development witht he IOTA system — KWIC example
Attention for Chapter 5: Chapter 4. Supports for building modules, modulebase
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Chapter 4. Supports for building modules, modulebase
Chapter number 5
Book title
The IOTA Programming System
Published by
Springer, Berlin, Heidelberg, January 1983
DOI 10.1007/3-540-12693-7_5
Book ISBNs
978-3-54-012693-5, 978-3-54-038684-1
Authors

Taiichi Yuasa, Keiji Kojima, Yuasa, Taiichi, Kojima, Keiji

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.