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: Smith:Frederick
Contributed to:
2000
1998
1996Wrote 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.