| 
|
QuoteRef: currG11_1986
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
data type as a set of operations
Topic:
data types in Thesa
Topic:
abstract data type
Reference
Curry, G., "An approach to type safety in a traits system", Fall Joint Computer Conference, Dallas Texas, ACM and Computer Society of the IEEE, November 1986, pp. 25-30. Google
25 ;;Quote: the trait 'is_integer_variable' is a combination of 'stores_integer' and 'has_name' traits
25 ;;Quote: a trait is a property of an object; it defines a set of operations which the object must have
25+;;Quote: an abstract data type captures the essence of an object while a trait is a property
25+;;Quote: a trait is a property of an object that consists of a set of applicable operations
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: data type as a set of operations (38 items)
Topic: data types in Thesa (92 items)
Topic: abstract data type (64 items)