Travelled to:1 × Canada
1 × Estonia
1 × Germany
1 × Portugal
4 × USA
Collaborated with:∅ L.Clausen M.Callahan B.Aktemur S.Jefferson J.C.Cherniavsky P.Morton J.Jones C.Peiper D.Warden E.Chan B.Capitanu
Talks about:generat (4) compon (4) program (3) specif (3) level (3) lightweight (2) system (2) sourc (2) optim (2) time (2)
Person: Samuel N. Kamin
DBLP: Kamin:Samuel_N=
Contributed to:
2005
200520001999
1988198619801977Wrote 9 papers:
- GPCE-2005-AktemurJKC #generative #optimisation #runtime
- Optimizing Marshalling by Run-Time Program Generation (BA, JJ, SNK, LC), pp. 221–236.
- GPCE-2005-KaminAM #generative #optimisation #runtime
- Source-Level Optimization of Run-Time Program Generators (SNK, BA, PM), pp. 293–308.
- ITiCSE-2005-PeiperWCCK #development #education #named #pervasive
- eFuzion: development of a pervasive educational system (CP, DW, EC, BC, SNK), pp. 237–240.
- SAIG-2000-KaminCC #component #generative #lightweight
- Lightweight and Generative Components 2: Binary-Level Components (SNK, MC, LC), pp. 28–50.
- GCSE-1999-KaminCC #component #generative #lightweight
- Lightweight and Generative Components I: Source-Level Components (SNK, MC, LC), pp. 49–64.
- POPL-1988-Kamin #inheritance
- Inheritance in Smalltalk-80: A Denotational Definition (SNK), pp. 80–87.
- POPL-1986-JeffersonK #execution #quantifier #specification
- Executable Specifications with Quantifiers in the FASE System (SJ, SNK), pp. 318–326.
- POPL-1980-Kamin #data type #specification
- Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.
- POPL-1977-CherniavskyK #consistency #hoare #programming language #semantics
- A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.