Kenneth E. Iverson
Supplemental Material
Available for Download
The pdf contains a postscript for the recipient of the 1979 Turing Award.
- Boole, G. An Investigation of the Laws of Thought, Dover Publications, N.Y., 1951. Originally published in 1954 by Walton and Maberly, London and by MacMillan and Co., Cambridge. Also available in Volume II of the Collected Logical Works of George Boole, Open Court Publishing Co., La Salle, Illinois, 1916.Google Scholar
- Cajori, F. A History of Mathematical Notations, Volume II, Open Court Publishing Co., La Salle, Illinois, 1929.Google Scholar
- Falkoff, A. D., and Iverson, K. E. The Evolution of APL, Proceedings of a Conference on the History of Programming Languages, ACM SIGPLAN, 1978. Google ScholarDigital Library
- APL Language, Form No. GC26-3847-4, IBM Corporation.Google Scholar
- Iverson, K. E. Elementary Analysis, APL Press, Pleasantville, N. Y., 1976.Google Scholar
- Iverson, K. E. Algebra: An Algorithmic Treatment, APL Press, Pleasantville, N. Y., 1972.Google Scholar
- Kerner, I. O. Ein Gesamtschrittverfahren zur Berechnung der Nullstellen von Polynomen, Numerische Mathematik, Vol. 8, 1966, pp. 290--294.Google ScholarDigital Library
- Beckenbach, E. F., ed. Applied Combinatorial Mathematics, John Wiley and Sons, New York, N. Y., 1964.Google Scholar
- Tarjan, R. E. Testing Flow Graph Reducibility, Journal of Computer and Systems Sciences, Vol. 9, No. 3, Dec. 1974.Google ScholarDigital Library
- Spence, R. Resistive Circuit Theory, APL Press, Pleasantville, N. Y., 1972.Google Scholar
- Iverson, K. E. A Programming Language, John Wiley and Sons, New York, N. Y., 1962. Google ScholarDigital Library
- Iverson, K. E. An Introduction to APL for Scientists and Engineers, APL Press, Pleasantville, N. Y. Google ScholarDigital Library
- Orth, D. L. Calculus in a New Key, APL Press, Pleasantville, N. Y., 1976.Google Scholar
- Apostol, T. M. Mathematical Analysis, Addison Wesley Publishing Co., Reading, Mass., 1957.Google Scholar
- Jolley, L. B. W. Summation of Series, Dover Publications, N. Y.Google Scholar
- Oldham, K. B., and Spanier, J. The Fractional Calculus, Academic Press, N. Y., 1974.Google Scholar
- APL Quote Quad, Vol. 9, No.4, June 1979, ACM STAPL.Google Scholar
- Iverson, K. E., Operators and Functions, IBM Research Report RC 7091, 1978.Google Scholar
- McDonnell, E. E., A Notation for the GCD and LCM Functions, APL 75, Proceedings of an APL Conference, ACM, 1975. Google ScholarDigital Library
- Iverson, K. E., Operators, ACM Transactions on Programming Languages and Systems, October 1979.Google Scholar
- Blaauw, G. A., Digital System Implementation, Prentice-Hall, Englewood Cliffs, N. J., 1976. Google ScholarDigital Library
- McIntyre, D. B., The Architectural Elegance of Crystals Made Clear by APL, An APL Users Meeting, I. P. Sharp Associates, Toronto, Canada, 1978.Google Scholar
Index Terms
- Notation as a tool of thought
Recommendations
Defining syntax and providing tool support for Agent UML using a textual notation
An important role in software engineering is played by design notations. The Agent UML (AUML) notation for sequence diagrams has been widely used to capture the design of interactions between agents. However, AUML is not precisely defined, and there is ...
Component Design based on Model Executability
SEAA '08: Proceedings of the 2008 34th Euromicro Conference Software Engineering and Advanced ApplicationsModel-Driven Development (MDD) corresponds to the building of models and their transformation into intermediate models and code. Modeling components and compositions is a natural consequence of MDD. We show in this paper the advantages of using an ...
Comparing formal specifications by measuring
RTCSA '95: Proceedings of the 2nd International Workshop on Real-Time Computing Systems and ApplicationsTeaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code ...
Comments