Cтраница 4
В качестве индекса может быть использовано любое выражение целого типа. [46]
Наконец, необходимо упомянуть, что любое выражение системы KAS может быть связано с одним или несколькими другими выражениями, которые называются контекстами. [47]
Указанные выше упрощения применимы и для любого выражения Е, поставленного на место г. Например, ( г t s) U ( r s) rtxs. Для применения таких упрощений необходимо найти повторяющиеся подвыражения в данном выражении. [48]
Указанные выше упрощения применимы и для любого выражения Е, поставленного на место г. Например, ( г s) [) ( r s) rsxis. Для применения таких упрощений необходимо найти повторяющиеся подвыражения в данном выражении. [49]
Язык программирования, в котором тип любого выражения может быть определен во время трансляции. [50]