( en | de | ru )

 

Disambiguation of "Kamin, Samuel N."

Author of the publication

copydeleteadd this publication to your clipboard
A Complete and Consistent Hoare Semantics for a Simple Programming Language.

, and . POPL, page 1-9. ACM, (1977)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

n n n

Elisabeth Kamin

Hiltrud Kamin

Nicola Kamin

Anne Kamin

 

Other publications of authors with the same name

Strictness Analysis in the Imperative Lambda Calculus., and . LISP Symb. Comput., 9 (1): 109-143 (1996)Annotating Java class files with virtual registers for performance., and . Concurr. Pract. Exp., 12 (6): 389-406 (2000)A FASE Specification of FP.. Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 143-152. Springer, (1985)The Expressive Theory of Stacks.. Acta Inf., 24 (6): 695-709 (1987)The Challenge of Language Technology Transfer.. ACM Comput. Surv., 28 (4es): 197 (1996)Optimizing Marshalling by Run-Time Program Generation., , , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)An Architecture for Tool Integration., , , , , , and . Advanced Programming Environments, volume 244 of Lecture Notes in Computer Science, page 112-125. Springer, (1986)On the Power of Abstract Interpretation., and . Comput. Lang., 19 (2): 79-89 (1993)Programming languages - an interpreter-based approach.. Addison-Wesley, (1990)Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication., , , , and . ACM Trans. Archit. Code Optim., 13 (1): 5:1-5:26 (2016)