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 × Germany
1 × The Netherlands
Collaborated with:
J.G.Morrisett D.Kozen D.Walker
Talks about:
conserv (1) complet (1) collect (1) algebra (1) compar (1) sweep (1) kleen (1) decid (1) type (1) test (1)

Person: Frederick Smith

DBLP DBLP: Smith:Frederick

Contributed to:

ESOP 20002000
ISMM 19981998
CSL 19961996

Wrote 3 papers:

ESOP-2000-SmithWM #alias
Alias Types (FS, DW, JGM), pp. 366–381.
ISMM-1998-SmithM
Comparing Mostly-Copying and Mark-Sweep Conservative Collection (FS, JGM), pp. 68–78.
CSL-1996-KozenS #algebra #decidability #testing
Kleene Algebra with Tests: Completeness and Decidability (DK, FS), pp. 244–259.

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.