| 
|
QuoteRef: veneT3_1978
topics >
all references >
ThesaHelp:
references t-z
Topic:
aliasing
Topic:
using pointers in Thesa
Topic:
Thesa data structures
Topic:
variant data types
Topic:
localized understanding
Topic:
program proof via assertions
Topic:
abstract data type
Topic:
enumerated data types
Topic:
range data type
Topic:
ordered data types
Topic:
data structure literals
Topic:
primitive data types for Thesa
Topic:
implementation of Thesa data objects
Topic:
binding names to variables or expressions
Reference
Venema, T., des Rivieres, J., "Euclid and Pascal", SIGPLAN, 13, 3, pp. 57-69, March 1978. Google
58 ;;Quote: Euclid avoids aliasing by explicitly importing all non-local variables
60 ;;Quote: Euclid allows assignment to a variant only within a discriminating case
60+;;Quote: Pascal does not check when assigning values to record variants
60 ;;Quote: design of Euclid ensured that only local information was needed for verification
66 ;;Quote: all enumerated and subrange types have standard set of accessing functions such as 'first' and 'pred'
67 ;;Quote: a structured constant is defined with positional notation; error-prone
67 ;;Quote: in Euclid, can bind an identifier to part of an existing variable; e.g., bind var X to A[5]
ThesaHelp: references t-z (309 items)
Topic: aliasing (28 items)
Topic: using pointers in Thesa (49 items)
Topic: Thesa data structures (59 items)
Topic: variant data types (7 items)
Topic: localized understanding (43 items)
Topic: program proof via assertions (61 items)
Topic: abstract data type (64 items)
Topic: enumerated data types (17 items)
Topic: range data type (17 items)
Topic: ordered data types (8 items)
Topic: data structure literals (9 items)
Topic: primitive data types for Thesa (82 items)
Topic: implementation of Thesa data objects (27 items)
Topic: binding names to variables or expressions (10 items)