Michael Karr

Publication Activity (10 Years)

Years Active: 1971-1996
Publications (10 Years): 0

Publications

Michael Karr
A Translator from C to a Lambda-Calculus Representation. ACM SIGPLAN Notices 31 (4) (1996)
Michael Karr
"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. TAPSOFT, Vol.1 (1985)
Michael Karr
Theory of Summation in Finite Terms. J. Symb. Comput. 1 (3) (1985)
Michael Karr
Canonical Form for Rational Exponential Expressions. European Conference on Computer Algebra (2) (1985)
Michael Karr
Theory of Summation in Finite Terms. European Conference on Computer Algebra (2) (1985)
Michael Karr
Code generation by coagulation. SIGPLAN Symposium on Compiler Construction (1984)
Michael Karr
Summation in Finite Terms. J. ACM 28 (2) (1981)
Michael Karr, David B. Loveman
Incorporation of Units into Programming Languages. Commun. ACM 21 (5) (1978)
Michael Karr
Affine Relationships Among Variables of a Program. Acta Informatica 6 (1976)
Carlos Christensen, Michael Karr
IAM, a system for interactive algebraic manipulation. SYMSAC (1971)