- 1 Boole. G. An Investigation of the Laws of Thought, Dover Publica tions, 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, Ill inois, 1916. Google ScholarDigital Library
- 2 Cajori, F. A History o/Mathematical Notations. Volume II Open Court Publishing Co., La Salle, Illinois 1929.Google Scholar
- 3 Faikoff, 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
- 4 APL Languag e Form No. GC26:3847-4, IBM Corporation.Google Scholar
- 5 Icerson, K.E. Elementary Analysis, APL Press, Pleasantville, N.Y., i976.Google Scholar
- 6 Iverson, K.E. Algebra: an algorithmic treatment, APL Press. Pleasantville, N.Y.,: 1972.Google Scholar
- 7 Kerner. I.O. Ein Gesamtschrittverfahren zur Berechnung der Nullstellen yon Polynomen. Numerische Mathematic Vol. 8, 1966, pp. 290-294.Google ScholarDigital Library
- 8 Beckenbach. E.F. ed, Applied Combinatorial Mathemattcs, John Wiley and Sons, New York. N.Y., 1964.Google Scholar
- 9 Tarjan, R.E, Testing Flow Graph Reducibility, Journal of Computer and Systems Sciences. Vol, 9 No. 3. Dec. 1974.Google Scholar
- 10 Spence, R Resistive Circuit Theory, APL Press. Pleasantville. N.Y. 1972.Google Scholar
- 11 Iverson, K.E. A Programming Language, John Wiley and Sons. New York N.Y., 1962. Google ScholarDigital Library
- 12 lverson, K.E. An Introduction to APL for Scientists and Engineers, APL Press. Pleasantville. N.Y. Google ScholarDigital Library
- 13 Orth. D.L. Calculus in a new key, APL Press, Pleasantville, N.Y. 1976Google Scholar
- 14 Apostol. T.M. Mathematical Analysis. Addison Wesley Publishing Co. Reading, Mass. 1957.Google Scholar
- 15 Jolley, L.B.W. Summation o/Series, Dover Publications, N.Y.Google Scholar
- 16 Oldham, K.B., and Spanier, J. The Fractional Calculus, Academic Press, N.Y., 1974.Google Scholar
- 17 APL Quote Quad, Vol. 9, No. 4, June 1979, ACM STAPLGoogle Scholar
- 18 Iverson, K.E., Operators and Functions, IBM Research Report RC 7091, 1978.Google Scholar
- 19 McDonnell. E.E., A Notation for the GCD and LCM Functions, APL 75, Proceedings of an APL Conference, ACM, 1975. Google ScholarDigital Library
- 20 Iverson, K.E. Operators. ACM Transactions on Programming Languages And Systems, October 1979. Google ScholarDigital Library
- 21 Blaauw, G.A., Digital System Implementation, Prentice- Hall, EngleWood Cliffs. N.J., 1976. Google ScholarDigital Library
- 22 Mclntyre, 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
Maude MSOS Tool
Modular structural operational semantics (MSOS) is a new framework that allows structural operational semantics (SOS) specifications to be made modular in the sense of not imposing the redefinition of transition rules, which is the case in SOS ...
Comments