The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1982 vol.8)
pp: 21-33
J. Schwarz , Bell Laboratories
ABSTRACT
The use of annotated recursion equations as a programming technique is investigated by considering the "telegram problem." The annotations are used to select alternative strategies for evaluating the applicative expressions contained in the recursion equations, while the equations serve as an abstract specification of the desired results. This method has the advantage that the annotations explicitly display certain kinds of decision that would otherwise be implicit.
INDEX TERMS
recursion equations, Annotations, applicative programming languages, functional programming languages
CITATION
J. Schwarz, "Using Annotations to Make Recursion Equations Behave", IEEE Transactions on Software Engineering, vol.8, no. 1, pp. 21-33, January 1982, doi:10.1109/TSE.1982.234771
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool