Quote: an algebraic specification of an abstract type consists of its syntax (names, domains, ranges) and the relations of its operations

Quotation Skeleton

An algebraic specification of an abstract type consists … syntactic information that many programming languages already require: … defines the meaning of the operations by stating …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: requirement specification by assertion (28 items)