Michael Karr

According to our database1, Michael Karr
  • authored at least 9 papers between 1976 and 1996.
  • has a "Dijkstra number"2 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
A Translator from C to a Lambda-Calculus Representation.
SIGPLAN Notices, 1996

1985
Theory of Summation in Finite Terms.
J. Symb. Comput., 1985

"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.
Proceedings of the Mathematical Foundations of Software Development, 1985

Theory of Summation in Finite Terms.
Proceedings of the EUROCAL '85, 1985

Canonical Form for Rational Exponential Expressions.
Proceedings of the EUROCAL '85, 1985

1984
Code generation by coagulation.
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1981
Summation in Finite Terms.
J. ACM, 1981

1978
Incorporation of Units into Programming Languages.
Commun. ACM, 1978

1976
Affine Relationships Among Variables of a Program.
Acta Inf., 1976


  Loading...