Map
Index
Random
Help
th

QuoteRef: maclBJ12_1983

topics > all references > ThesaHelp: references m-o



ThesaHelp:
references m-o
Topic:
entities
Topic:
objects as a set of attributes
Topic:
value as an abstraction
Topic:
number representation
Topic:
self reference
Topic:
constants
Group:
naming
Topic:
attribute-value pairs as information
Topic:
fundamental concepts such as type, attributes, relationships are all the same
Topic:
running programs in a workspace or environment
Topic:
replacement as defining a variable
Topic:
binding of names to objects
Topic:
binding names to variables or expressions
Topic:
taxonomy
Group:
sets
Topic:
abstract data type
Topic:
data type as a set of operations
Topic:
union data type
Topic:
property sheets for objects
Topic:
non-primitive values
Topic:
Thesa data structures
Topic:
restricted and extended types
Topic:
quality assurance
Topic:
type checking by trademark
Topic:
data type by name or tags
Topic:
units
Topic:
security by seal

Reference

MacLennan, B.J., "Abstraction in the Intel iAPX-432 prototype systems implementation language ", SIGPLAN, 18, 12, pp. 86-95, December 1983. Google

Quotations
86 ;;Quote: entities are things that exist and can be created or destroyed
86+;;Quote: an entity is the same entity even if any or all of its attributes change
86 ;;Quote: an abstraction is completely defined by its attributes; it can't be modified
86+;;Quote: an abstraction is called a value
87 ;;Quote: a denotation is a self-defining name for a value; e.g., '2'
87 ;;Quote: all names are attribute names since variables, procedures, etc. are attributes of the environment
87 ;;Quote: a binding associates a name with a particular value or object
88 ;;Quote: a binding defines a name as the current value or object described by an expression
88 ;;Quote: a name definition replaces an expression; e.g., cw = sam.car.weight and cw := 401
89 ;;Quote: a class is defined by a genus and those attributes that distinguish members from other members of the genus
89 ;;Quote: a 'file' class is any object or value with a given set of attributes; e.g., 'reset' defined
89 ;;Quote: can define union types for types which participate in the same operations but do not share other attributes
89 ;;Quote: a form defines a value as a set of bindings for the value's attributes
89+;;Quote: a value's attributes may be procedural, data, type, other values; private or public
92 ;;Quote: can restrict a value or object by excluding some of its public attributes
93 ;;Quote: can ensure quality of a entity by getting it from a reliable source or seeing the trademark of a reliable source
93 ;;Quote: in a form or class can declare a trademark for an object or value which can be detected but not modified
93 ;;Quote: can restrict a type to those objects or values which carry a trademark
93 ;;Quote: a value or object may carry multiple trademarks which may also be used for multiple classes
94 ;;Quote: can use a class or form trademark as an indication of units
94 ;;Quote: a trademark unforgeably identifies the source of a value or object
94 ;;Quote: a seal is like a trademarked box; the originator is identified but the contents are hidden
94 ;;Quote: seals are more restrictive than trademarks since only seal's owner may view the attributes of the sealed objects or values


Related Topics up

ThesaHelp: references m-o (268 items)
Topic: entities (20 items)
Topic: objects as a set of attributes (39 items)
Topic: value as an abstraction (25 items)
Topic: number representation (16 items)
Topic: self reference (27 items)
Topic: constants (21 items)
Group: naming   (32 topics, 784 quotes)
Topic: attribute-value pairs as information (53 items)
Topic: fundamental concepts such as type, attributes, relationships are all the same (37 items)
Topic: running programs in a workspace or environment (14 items)
Topic: replacement as defining a variable (8 items)
Topic: binding of names to objects (16 items)
Topic: binding names to variables or expressions (10 items)
Topic: taxonomy (16 items)
Group: sets   (7 topics, 148 quotes)
Topic: abstract data type (64 items)
Topic: data type as a set of operations (38 items)
Topic: union data type (12 items)
Topic: property sheets for objects (29 items)
Topic: non-primitive values (11 items)
Topic: Thesa data structures (59 items)
Topic: restricted and extended types (34 items)
Topic: quality assurance (20 items)
Topic: type checking by trademark (13 items)
Topic: data type by name or tags (29 items)
Topic: units (23 items)
Topic: security by seal (16 items)

Collected barberCB 3/87
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.