Search the dblp DataBase
Michael Karr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Michael Karr, David B. Loveman
Incorporation of Units into Programming Languages. [Citation Graph (2, 0)][DBLP]
Commun. ACM, 1978, v:21, n:5, pp:385-391 [Journal] - Michael Karr
Canonical Form for Rational Exponential Expressions. [Citation Graph (0, 0)][DBLP]
European Conference on Computer Algebra (2), 1985, pp:585-594 [Conf] - Michael Karr
Theory of Summation in Finite Terms. [Citation Graph (0, 0)][DBLP]
European Conference on Computer Algebra (2), 1985, pp:605-606 [Conf] - Michael Karr
Code generation by coagulation. [Citation Graph (0, 0)][DBLP]
SIGPLAN Symposium on Compiler Construction, 1984, pp:1-12 [Conf] - Michael Karr
"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.1, 1985, pp:208-222 [Conf] - Michael Karr
Affine Relationships Among Variables of a Program. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1976, v:6, n:, pp:133-151 [Journal] - Michael Karr
Summation in Finite Terms. [Citation Graph (0, 0)][DBLP]
J. ACM, 1981, v:28, n:2, pp:305-350 [Journal] - Michael Karr
Theory of Summation in Finite Terms. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1985, v:1, n:3, pp:303-315 [Journal] - Michael Karr
A Translator from C to a Lambda-Calculus Representation. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1996, v:31, n:4, pp:28-31 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002