Th QuoteRef: elcoEW

QuoteRef: elcoEW_1971

topics > all references > ThesaHelp: references e-f

ThesaHelp:
references e-f
Topic:
set-oriented languages
Topic:
embedded systems
Topic:
declaration through use
Topic:
symbolic manipulation of formulas
Topic:
function definition
Topic:
descriptive languages

Reference

Elcock, E.W., Foster, J.M., Gray, P.M.D., McGregor, J.J., Murray, A.M., "Abset, a programming language based on sets: Motivation and examples", Machine Intelligence, 6, Edinburgh University Press, pp. 467-492, 1971. Google

Quotations

468 ;;Quote: it would be better to assert things about the structure of the data; order independent; generates operations
QuoteRef: elcoEW_1971 ;;481 a'=1 defines new variable A with value of 1
QuoteRef: elcoEW_1971 ;;486 ALLFACS '= MAP I': INTEGERS [type] TO (THOSE [set descriptor] FAC': 1 UPTO I SATISFYING QUOT' ISIN [membership] INTEGERS WHERE FAC*QUOT = I) (INTEGERS) [resultant sets of] THEN ALLFACS (24) = [24,12,8,6,4,3,2,1]
QuoteRef: elcoEW_1971 ;;486 define new operations by '=

Related Topics

ThesaHelp: references e-f (168 items)
Topic: set-oriented languages (20 items)
Topic: embedded systems (26 items)
Topic: declaration through use (4 items)
Topic: symbolic manipulation of formulas (12 items)
Topic: function definition (25 items)
Topic: descriptive languages (22 items)