| 
|
Quote: a program includes global, local, and induction variables; only local and induction (the bound variables) may use shared storage;
topics >
all references >
references g-h >
Topic:
index sequence for array access
Topic:
global declarations and variables
Topic:
local declaration of data
Topic:
constructing proof and program together
Topic:
primitive data types for Thesa
Note
Bound (local, induction) and free (global) variables. Free part of fixed storage but bound are overlapped
Topic: index sequence for array access (16 items)
Topic: global declarations and variables (33 items)
Topic: local declaration of data (11 items)
Topic: constructing proof and program together (22 items)
Topic: primitive data types for Thesa (82 items)