| 
|
QuoteRef: guttJV6_1977
Group:
requirement specification
Topic:
abstract data type
Group:
meaning and truth
Topic:
semantics by an abstract machine
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
requirement specification by assertion
Topic:
the effect of scale
Topic:
symbolic execution
Reference
Guttag, J.V., "Abstract data types and the development of data structures", Communications of the ACM, 20, 6, June 1977, pp. 396-404. Google
Other Reference
p. 454-479 in Broy, M., Denert, E. (eds), Software Pioneers,
Springer 2002
abstract ;;Quote: consistent and complete algebraic specification of abstract data types; e.g., a symbol table
458 ;;Quote: relying on intuition about the meaning of names is dangerous or almost impossible; need to specify the operational semantics of a type
459 ;;Quote: an algebraic specification of an abstract type consists of its syntax (names, domains, ranges) and the relations of its operations
473 ;;Quote: algebraic specification of the abstract type, Knowlist
474 ;;Quote: algrebraic specification should scale; at any level, its size and complexity is independent of the size and complexity of the system being described
476 ;;Quote: algebraic specification allows multiple implementations of an abstract data type
476 ;;Quote: test software by symbolically executing its algebraic sepecification
477 ;;Quote: algebraic specification requires formal training in computer science; may limit its use
Group: requirement specification (11 topics, 307 quotes)
Topic: abstract data type (64 items)
Group: meaning and truth (18 topics, 634 quotes)
Topic: semantics by an abstract machine (38 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: requirement specification by assertion (28 items)
Topic: the effect of scale (17 items)
Topic: symbolic execution (9 items)