Th QuoteRef: hoarCA10

QuoteRef: hoarCA10_1973

topics > all references > ThesaHelp: references g-h

Topic:
recursive data structures
Topic:
list processing
ThesaHelp:
references g-h
Topic:
access by pattern matching

Reference

Hoare, C.A.R., "Recursive data structures", Stanford University, Computer Science Dept, STAN-CS-73-400, October 1973. Google

Quotations

QuoteRef: hoarCA10_1973 ;;7 recursive data structures eg type list = (unit (identifier) cons (list) or = cases p of (predicate -> 0 | predicate ->whatever)
QuoteRef: hoarCA10_1973 ;;8 function car (1:list):list; car := cases of (atom (id)-> error [ cons (left, right) -> left);
QuoteRef: hoarCA10_1973 ;;if list matches pattern then return this element in data structure
QuoteRef: hoarCA10_1973 ;;17 generation of recursive data structures

Related Topics

Topic: recursive data structures (18 items)
Topic: list processing (15 items)
ThesaHelp: references g-h (299 items)
Topic: access by pattern matching (18 items)