PLAYS
发表于 2025-3-23 10:02:05
http://reply.papertrans.cn/27/2632/263171/263171_11.png
Dealing
发表于 2025-3-23 15:36:28
Marcello Tadini,Giuseppe BorrusoIn strongly typed languages (such as Pascal, Algol 68, PL/1 and Ada) each expression is given a number of properties, defining a set of values and the operations applicable to them. The collection of properties that define such a set of values is called a ..
发现
发表于 2025-3-23 21:25:03
Values,One of the three basic sets of objects covered by SMALL is the set of ., denoted by V. Values are ., also called . objects, and are processed by the actions specified in a program. The properties of values uniquely determine the kinds of actions that can be performed on them.
Blatant
发表于 2025-3-23 22:36:34
http://reply.papertrans.cn/27/2632/263171/263171_14.png
Gudgeon
发表于 2025-3-24 04:17:33
Atomic Locations,The . are those values on which only the . CONT is defined. Hence neither the . SEL, nor the . RES is defined on atomic locations.
GREEN
发表于 2025-3-24 07:59:44
http://reply.papertrans.cn/27/2632/263171/263171_16.png
PLE
发表于 2025-3-24 12:47:26
http://reply.papertrans.cn/27/2632/263171/263171_17.png
漂亮
发表于 2025-3-24 17:12:59
http://reply.papertrans.cn/27/2632/263171/263171_18.png
delta-waves
发表于 2025-3-24 21:05:39
Contents Function,The contents function is only defined on locations (L). It specifies for each location the value it contains. In SMALL, the contents of an atomic location can be any value except a composite datum, whereas the contents of a composite location can only be a composite datum. The motivation for these restrictions is explained in the present chapter.
anarchist
发表于 2025-3-24 23:24:13
Expressions,Values are internal (abstract) objects for which we need notations called expressions. The set of expressions (E) is the set of all syntactically correct program constructions which may denote values. E is partitioned into two classes: the set of . (N) and the set of . (CE) (see Figure 8.1).