| 
|
QuoteRef: morrJH_1980
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
references m-o
Group:
sequence operations
Topic:
sequence generators
Topic:
run-time assertions
Topic:
program proof via assertions
Topic:
definition by example
Topic:
function definition
Topic:
functional programming
Topic:
efficiency
Reference
Morris, J.H., Schmidt, E. , Wadler, P. , "Experience with an applicative string processing language", ACM Principles of Programming Languages , pp. 32-46 , 1980. Google
33 ;;Quote: a negative subscript, i, applied to a list returns a list with the first i elements removed
33 ;;Quote: add assertions which give the correct result for an example execution; machine-checked; made program easier to understand
44 ;;Quote: if response time and space requirements are important than applicative programming is less applicable
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references m-o (268 items)
Group: sequence operations (7 topics, 85 quotes)
Topic: sequence generators (16 items)
Topic: run-time assertions (25 items)
Topic: program proof via assertions (61 items)
Topic: definition by example (26 items)
Topic: function definition (25 items)
Topic: functional programming (43 items)
Topic: efficiency (96 items)