Efficient type inference and coercion in computer algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 429 LNCS, Issue , 1990, Pages 55-60

  Fortenbacher, Albrecht ^a  

^a IBM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE; SEMANTICS;

COMPUTER ALGEBRA; COMPUTER ALGEBRA SYSTEMS; GRAPH TECHNIQUE; REWRITE RULES; TYPE INFERENCE MECHANISM; TYPE INFERENCES; TYPE INFORMATION; TYPE STRUCTURES;

ALGEBRA;

EID: 85031997816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52531-9_124     Document Type: Conference Paper

References (5)

1. Buchberger, B., Collins, G.E., and Loos, R., “Computer Algebra, Symbolic and Algebraic Computation”, Springer Verlag, 1982.
2. Jenks, R.D., Sutor, R.S., and Watt, S.M., “Scratchpad II: An Abstract Datatype System for Mathematical Computation”, in: Proceedings Trends in Computer Algebra, Bad Neuenahr, LNCS 296, Springer Verlag, 1987.
3. Comon, H., Lugiez, D., and Schnoebelen, P., “Type Inference in Computer Algebra”, Proceedings EUROCAL 87, Leipzig, 1987.
4. Jenks, R.D. and Trager, B.M., “A Language for Computational Algebra”, Proceedings of SYMSAC 81, Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, August 1981. Also SIGPLAN Notices, New York: Association for Computing Machinery, November 1981, and IBM Research Report RC 8930 (Yorktown Heights, New York).
5. Sutor, R.S., and Jenks, R.D., “The Type Inference and Coercion Facilities in the Scratchpad II Interpreter”, Proceedings of the SIGPLAN 87 Symposium on Interpreters and Interpretive Techniques, SIGPLAN Notices 22, 7, New York: Association for Computing Machinery, July 87, and IBM Research Report RC 12595 (Yorktown Heights, New York).