BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kamin:Samuel_N=

Contributed to:

GPCE 20052005
ITiCSE 20052005
SAIG 20002000
GCSE 19991999
POPL 19881988
POPL 19861986
POPL 19801980
POPL 19771977

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.