| 
|
QuoteRef: liskB4_1974
topics >
all references >
ThesaHelp:
references i-l
Topic:
notation for program clusters
Topic:
representation data type
Topic:
abstract data type
Reference
Liskov, B., "Programming with abstract data types", Proceedings, Very High Level Languages, SIGPLAN, 9, 4, pp. 50-59, April 1974. Google
Notes
pg. 13/14 from earlier tech report, MIT MAC memo 3/74
QuoteRef: liskB4_1974 ;;13 data structure language by clustering accessing eg. stack: cluster (element type: type) is push, pop, top, empty; rep (typeparam:type )=(tp:int; e type:type;stk:array 1.. of type_param) create code to initialize the stack // push: operation (s:rep, v:e_type); s.tp :=s.tp+1; s.stk s.tp := v; return; end; then s: stack (token) creates s as a stack of tokens
14 ;;Quote: 'rep' defines a representation type for use within a cluster
51 ;;Quote: an abstract data type is a class of objects defined by the operations available on those objects
ThesaHelp: references i-l (342 items)
Topic: notation for program clusters (4 items)
Topic: representation data type (21 items)
Topic: abstract data type (64 items)