Quote: a Larch interface specification has the type name, public routines, a trait, mapping of types to the trait, and routine specifications

Quotation Skeleton

In both Larch interface languages, a specification of … and the names of the externally visible routines. … to sorts [i.e., types] in the trait. The third … of the type. A specification of a routine … types of its formals (parameters and returned values), … and (3) a body stating any requirements on …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: a Larch routine interface specification has its name, its parameter names and types, a trait for describing its operators, pre-conditions, and post-conditions

Related Topics

Topic: interface type (50 items)
Topic: requirement specification by function (20 items)