Karr, Michael
475  Ergebnisse:
Personensuche X
?
1

Use of Computed Tomography Coronary Calcium Score for Coron..:

Bhatti, Sabha ; Lizaola-Mayo, Blanca ; Al-Shoha, Mohammad...
Journal of Clinical and Experimental Hepatology.  12 (2022)  2 - p. 319-328 , 2022
 
?
 
?
8

A translator from C to a λ-calculus representation:

Karr, Michael
ACM SIGPLAN Notices.  31 (1996)  4 - p. 28-31 , 1996
 
?
9

A translator from C to a λ-calculus representation:

Karr, Michael
ACM SIGPLAN Notices.  31 (1996)  4 - p. 28-31 , 1996
 
?
10

Theory of Summation in Finite Terms:

Karr, Michael
Journal of Symbolic Computation.  1 (1985)  3 - p. 303-315 , 1985
 
?
11

Code generation by coagulation:

, In: Proceedings of the 1984 SIGPLAN symposium on Compiler construction,
Karr, Michael - p. 1-12 , 1984
 
?
12

Code generation by coagulation:

Karr, Michael
ACM SIGPLAN Notices.  19 (1984)  6 - p. 1-12 , 1984
 
?
13

Summation in Finite Terms:

Karr, Michael
Journal of the ACM (JACM).  28 (1981)  2 - p. 305-350 , 1981
 
?
14

Summation in Finite Terms:

Karr, Michael
Journal of the ACM.  28 (1981)  2 - p. 305-350 , 1981
 
?
15

Incorporation of units into programming languages:

Karr, Michael ; Loveman III, David B.
Communications of the ACM.  21 (1978)  5 - p. 385-391 , 1978
 
1-15