| 
|
Quote: use abstract syntax expressions to define, construct, analyze, and classify sets of abstract expressions; e.g., APPL = [opr: EXP, opnd: EXP] defines a set APPL, selectors opr and opnd, classifier appl?, and constructor mk-appl
topics >
all references >
references p-r >
Topic:
abstraction by name
Topic:
data as a named set of data objects
Group:
programming notation
Topic:
data type as constructors, selectors, and predicates
Quotation Skeleton
We are left with two closely related problems: … , and how to define the basic functions … abstract syntax equation. … Within these equations, upper case letter strings denote … [p. 723] APPL = [opr: EXP, opnd: EXP] implies that an application … (i.e., member of EXP). It also implies that … application expressions [sic], that appl? is a classifier … constructor function which constructs an application expression from … = r_2 and that if appl?(r) is 'true', … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: APPL = [opr: EXP, opnd: EXP] defines a set APPL, selectors opr and opnd, classifier appl?, and constructor mk-appl
Topic: abstraction by name (29 items)
Topic: data as a named set of data objects (22 items)
Group: programming notation (14 topics, 221 quotes)
Topic: data type as constructors, selectors, and predicates (20 items)