The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Samuel N. Kamin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samuel N. Kamin
    Final Data Types and Their Specification. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:1, pp:97-123 [Journal]
  2. Samuel N. Kamin, David Hyatt
    A Special-Purpose Language for Picture-Drawing. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:297-312 [Conf]
  3. Samuel N. Kamin, Miranda Callahan, Lars Clausen
    Lightweight and Generative Components I: Source-Level Components. [Citation Graph (0, 0)][DBLP]
    GCSE, 1999, pp:49-64 [Conf]
  4. Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen
    Optimizing Marshalling by Run-Time Program Generation. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:221-236 [Conf]
  5. Samuel N. Kamin, Baris Aktemur, Philip Morton
    Source-Level Optimization of Run-Time Program Generators. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:293-308 [Conf]
  6. M. Beckman, Samuel N. Kamin
    Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:143-152 [Conf]
  7. William L. Harrison, Samuel N. Kamin
    Modular Compilers Based on Monad Transformers. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:122-131 [Conf]
  8. Uday S. Reddy, Samuel N. Kamin
    On the power of abstract interpretation. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:24-33 [Conf]
  9. Simon M. Kaplan, Ralph E. Johnson, Roy H. Campbell, Samuel N. Kamin, James M. Purtilo, Mehdi T. Harandi, Jane W.-S. Liu
    An Architecture for Tool Integration. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:112-125 [Conf]
  10. Samuel N. Kamin
    A FASE Specification of FP. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:143-152 [Conf]
  11. William L. Harrison, Samuel N. Kamin
    Metacomputation-Based Compiler Architecture. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:213-229 [Conf]
  12. Samuel N. Kamin
    Routine run-time code generation. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2003, pp:208-220 [Conf]
  13. John C. Cherniavsky, Samuel N. Kamin
    A Complete and Consistent Hoare Semantics for a Simple Programming Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1977, pp:1-9 [Conf]
  14. Stan Jefferson, Samuel N. Kamin
    Executable Specifications with Quantifiers in the FASE System. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:318-326 [Conf]
  15. Samuel N. Kamin
    Final Data Tye Specifications: A New Data Type Specification Method. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:131-138 [Conf]
  16. Samuel N. Kamin
    Inheritance in Smalltalk-80: A Denotational Definition. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:80-87 [Conf]
  17. Samuel N. Kamin, Miranda Callahan, Lars Clausen
    Lightweight and Generative Components 2: Binary-Level Components. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:28-50 [Conf]
  18. Samuel N. Kamin, Myla Archer
    Partial Implementations of Abstract Data Types: A Dissenting view on Errors. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:317-336 [Conf]
  19. Michael Woodley, Samuel N. Kamin
    Programming studio: a course for improving programming skills in undergraduates. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:531-535 [Conf]
  20. Samuel N. Kamin
    The Expressive Theory of Stacks. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:6, pp:695-709 [Journal]
  21. Uday S. Reddy, Samuel N. Kamin
    On the Power of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:2, pp:79-89 [Journal]
  22. Joel Jones, Samuel N. Kamin
    Annotating Java class files with virtual registers for performance. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:6, pp:389-406 [Journal]
  23. Samuel N. Kamin
    The Challenge of Language Technology Transfer. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:197- [Journal]
  24. Baris Aktemur, Samuel N. Kamin
    Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:31-55 [Journal]
  25. Samuel N. Kamin
    Research on Domain-specific Embedded Languages and Program Generators. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  26. Samuel N. Kamin
    Head-Strictness is Not a Monotonic Abstract Property. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:41, n:4, pp:195-198 [Journal]
  27. John C. Cherniavsky, Samuel N. Kamin
    A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1979, v:26, n:1, pp:119-128 [Journal]
  28. Jonathan Springer, Samuel N. Kamin
    Strictness Analysis in the Imperative Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1996, v:9, n:1, pp:109-143 [Journal]
  29. Samuel N. Kamin
    Report of a Workshop on Future Directions in Programming Languages and Compilers. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:7, pp:9-28 [Journal]
  30. Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin
    eFuzion: development of a pervasive educational system. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:237-240 [Conf]

Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002