Michael Karr

According to our database, Michael Karr authored at least 9 papers between 1971 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1996

A Translator from C to a Lambda-Calculus Representation.

Michael Karr

ACM SIGPLAN Notices, 1996

1985

Theory of Summation in Finite Terms.

Michael Karr

J. Symb. Comput., 1985

"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.

Michael Karr

Proceedings of the Mathematical Foundations of Software Development, 1985

Canonical Form for Rational Exponential Expressions.

Michael Karr

Proceedings of the EUROCAL '85, 1985

1984

Code generation by coagulation.

Michael Karr

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1981

Summation in Finite Terms.

Michael Karr

J. ACM, 1981

1978

Incorporation of Units into Programming Languages.

Michael Karr, David B. Loveman

Commun. ACM, 1978

1976

Affine Relationships Among Variables of a Program.

Michael Karr

Acta Informatica, 1976

1971

IAM, a system for interactive algebraic manipulation.

Carlos Christensen, Michael Karr

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971