Topic: notation for declarations

topics > computer science > programming > Group: programming notation

type declaration
data type by lexical constraints
default value
initialization of data


Declaration notation indicates a data object's name, type, scope, and initial value. For structured types the declaration often explicitly indicates the structure components and may indicate default values for unspecified components. The declaration may include an example of use for documentation. In large systems, declarations are often duplicated. This can be abbreviated by an "include" file or by grouping common declarations under a global name. (cbb 5/80)
Subtopic: variable declarations -- environment, binding up

QuoteRef: wulfWA4_1974 ;;4 the colon ":" is the general binding operator
Quote: related declarations should be grouped together and given a name; environment is a set of these groups [»towsE7_1979]
Quote: declare a variable by its name and class identifier [»hendP9_1975]

Subtopic: data type up

Quote: in C, types are specified by expressions; it works well for simpler cases [»ritcDM7_1978c]
Quote: in C, ornate types may be hard to interpret as a whole, but become understandable if read from inside out [»ritcDM7_1978c]
Quote: provide implicit typing for initialized type declarations [»dorwSM1_1997]
QuoteRef: boscR9_1973 ;;7 use rule type as prefix to rule eg 'action' a+b
QuoteRef: kostCH_1974 ;;374 CDL data types 'pointer' buffer. eg 'macro' 'pointer' maxbuf= 200.
QuoteRef: liskBH2_1976 ;;6 variables typed by : eg r: array (int)

Subtopic: variables up

Quote: need notation for single-assignment variables [»atkiMP6_1987]
QuoteRef: liskBH2_1976 ;;5 i: int:=1 defines i as integer and sets it to 1
QuoteRef: wirtN1_1971 ;;45 declarations by j,j: integer
QuoteRef: wulfWA4_1974 ;;4 "a form can be instantiated simply by mentioning its name together with any requisite actual parameters" eg decl x: complex

Subtopic: functions up

QuoteRef: earlJ4_1974 ;;35 func (.brace. 1..m .brace.,.brace. 1..n .brace., real<-0) is a real n X m array with default 0

Subtopic: pattern up

QuoteRef: kiebRB9_1973 ;;4.4 declaration by match on pattern in class definition (unimplemented)

Subtopic: scope up

QuoteRef: sammJE_1969 ;;202 a|bc means variable abc is local
QuoteRef: boscR9_1973 ;;8 affix by +, local variable by =, prefilled local by > before variable and returned local by > after variable

Subtopic: structure up

QuoteRef: wirtN1_1971 ;;42 record #field id# : type eg x,y: real variants by CASE #tag field id# : type of tag field of eg yellow: (record descriptor END terminates

Subtopic: style up

Quote: should disallow uninitialized variables and multiple names per declaration
Quote: can use long, informative argument names in header files and short, convenient names in definitions; e.g., 'length_of_element_array' and 'n'

Related Topics up

Group: type declaration   (5 topics, 110 quotes)
Topic: data type by lexical constraints (15 items)
Topic: default value (8 items)
Topic: initialization of data
(45 items)

Updated barberCB 9/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.