| 
|
QuoteRef: gescCM6_1975
topics >
all references >
Topic:
initialization of data
Topic:
procedure valued variables
Topic:
type variable
ThesaHelp:
references g-h
Topic:
type parameter
Topic:
parameter passing by keyword or position
Topic:
data record
Topic:
data type as constructors, selectors, and predicates
Topic:
uniform reference to data
Topic:
parameter passing by argument list
Topic:
using pointers in Thesa
Topic:
pointers to data
Topic:
primitive data types for Thesa
Topic:
generic operations and polymorphism
Topic:
replacement as a procedure call
Topic:
variable as function that accesses an object's value
Reference
Geschke, C.M., Mitchell, J.G., "On the problem of uniform reference to data structures", SIGPLAN, 10, 6, pp. 31-42, June 1975. Google
Notes
Mesa programming language
QuoteRef: gescCM6_1975 ;;33 data initialization and default value by i: integer<-3 and literal by i: integer = 3 QuoteRef: gescCM6_1975 ;;33 can declare literal variables of type Type by intarrav: Type= ARRAY[1..10] OF integer QuoteRef: gescCM6_1975 ;;33 array, record, procedure and pointer types-- these can all be used in literals of type TYPE (eg proc. shows general form of procedure) QuoteRef: gescCM6_1975 ;;34 "a procedure object may be assigned a procedure-body as a value procedure literals same as normal procedures
34 ;;Quote: need constructors and extractors for records; default values and tuple values
34 ;;Quote: in Mesa, call a procedure by using a record constructor; the procedure uses record extractors to get arguments
35 ;;Quote: Mesa automatically handles p<-v and v<-p when v is a variable and p is a pointer
36 ;;Quote: uniform reference: an attribute of an object is the same as an array indexed by the object or a procedure with an object argument
37 ;;Quote: binding of names should depend on the argument type; makes selectors and procedures generic QuoteRef: gescCM6_1975 ;;37 v.rho <-r is seen as rho[v,r] and looks for a procedure rho with appropriate types. also a+b is plus[a,b]
37 ;;Quote: accessing is the select function, assignment is the assign function
Topic: initialization of data (42 items)
Topic: procedure valued variables (34 items)
Topic: type variable (5 items)
ThesaHelp: references g-h (299 items)
Topic: type parameter (34 items)
Topic: parameter passing by keyword or position (13 items)
Topic: data record (57 items)
Topic: data type as constructors, selectors, and predicates (20 items)
Topic: uniform reference to data (34 items)
Topic: parameter passing by argument list (6 items)
Topic: using pointers in Thesa (49 items)
Topic: pointers to data (55 items)
Topic: primitive data types for Thesa (82 items)
Topic: generic operations and polymorphism (65 items)
Topic: replacement as a procedure call (10 items)
Topic: variable as function that accesses an object's value (21 items)