OPERATORS AND ALGEBRAIC STRUCTURES

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, FPCA 1981

Volumn , Issue , 1981, Pages 59-63

  Kapur, D ^a   Musser, D R ^a   Stepanov, A A ^a  

^a GENERAL ELECTRIC COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FUNCTIONAL PROGRAMMING;

ALGEBRAIC PROPERTIES; ALGEBRAIC STRUCTURES; COMPLEXITY MEASURES; COMPLEXITY OF ALGORITHM; FORMAL REPRESENTATIONS; FUNCTIONAL LANGUAGES; MATHEMATICAL KNOWLEDGE; OPERATOR STRUCTURES; PROGRAMMING CONCEPTS;

COMPUTATIONAL COMPLEXITY;

EID: 17944368267     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800223.806763     Document Type: Conference Paper

References (14)

1. Bourbaki, N., Theory of Sets, Chapter IV, "Structures" and Summary of Results, Section 8, "Scales of Sets. Structures," Addison-Wesley, 1968.
2. Backus, J., "Can Programming Be Liberated from the yon Neumann Style? A Functional Style and Its Algebra of Programs," CACM 8 (21), August 1978.
3. Burstall, R.M., Goguen, J.A., "Putting Theories Together to Make Specifications," Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, August 1977.
4. Falkoff, A.D. and Orth, D.L., "Development of an APL Standard," RC 7542, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, February 1979.
5. Goguen, J.A., Thatcher, J.W., Wagner, E.W., "Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types" in Current Trends in Programming Methodology. Vol. IV, Data Structuring (R.T. Yeh, ed.), Prentice Hall, Englewood Cliffs, NJ, 1978.
6. Guttag, J.V., "'Abstract Data Types and the Development of Data Structures," CACM 20 (6), pp. 396-404, June 1977..
7. Iverson, K.E., "Operators," TOPLAS 1 (2), October 1979.
8. Jenks, R.D., Trager, B.M., "A Language for Computational Algebra," Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, Snowbird, August 1981.
9. Knuth, D.E. The Art of Computer Programming, Vol. 1, Vol. 3, Addison-Wesley, 1968, 1973.
10. Musser, D.R., "Abstract Data Types in the AFFIRM System," IEEE TSE 1 (6), January 1980.
11. Nakajima, R., Nakahara, H., Honda, M., "'Hierarchical Program Specification and Verification - A Many Sorted Logical Approach," preprint RIMS 256, November 1978.
12. Winkler, F., "A Language for Specifying Algebraic Structures," unpublished manuscript, Fall 1979.
13. Zilles, S.N., "An Introduction to Data Algebra," Draft Working Paper, IBM San Jose Research Laboratory, September 1975.
14. Zippel, R., private communication, March 1981.