MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Frederick Smith" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep
by Frederick Smith, Greg Morrisett — 1997
…Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep Frederick Smith y fms…
Cited by 6 (0 self) – Add To MetaCart

Kleene Algebra with Tests: Completeness and Decidability
by Dexter Kozen, Frederick Smith — 1996 — Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science
…@(email omitted); Frederick Smith fms@(email omitted); Computer Science Department Cornell University Ithaca, NY 14853…
Cited by 18 (9 self) – Add To MetaCart

Comparing Mostly-Copying and Mark-Sweep Conservative Collection
by Frederick Smith, Greg Morrisett — 1998 — In International Symposium on Memory Management
…Comparing Mostly-Copying and Mark-Sweep Conservative Collection Frederick Smith y Cornell…
Cited by 21 (0 self) – Add To MetaCart

Hancock: A Language for Processing Very Large-Scale Data
by Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith — 1999 — In DSL'99
… Rogers Frederick Smith y AT&T Labs Shannon Laboratory 180 Park Avenue Florham Park, NJ 07932, USA…
Cited by 3 (3 self) – Add To MetaCart

Certified Run-time Code Generation
by Frederick M. Smith, Ph. D — 2002 — Journal of Functional Programming
… by Frederick M. Smith January 2002 c○ 2002 Frederick M. Smith ALL RIGHTS RESERVED CERTIFIED RUN-TIME CODE…
Cited by 7 (1 self) – Add To MetaCart

Alias Types
by Frederick Smith, David Walker, Greg Morrisett — 1999 — In European Symposium on Programming
…Alias Types ∗ Frederick Smith David Walker Greg Morrisett October 28, 1999 Abstract Linear type…
Cited by 145 (24 self) – Add To MetaCart

Alias Types \Lambda
by Frederick Smith, David Walker, Greg Morrisett — 1999
… Alias Types \Lambda Frederick Smith David Walker Greg Morrisett October 28, 1999 Abstract…
Add To MetaCart

Compiling for run-time code generation (extended version
by Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim — 2000
…Compiling for Runtime Code Generation (Extended Version) Frederick Smith, Dan Grossman, Greg…
Cited by 1 (1 self) – Add To MetaCart

Compiling for Template-Based Run-Time Code Generation
by Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim — 2002
…-Time Code Generation FREDERICK SMITH, DAN GROSSMAN, GREG MORRISETT Cornell University (e-mail: {fms…
Cited by 1 (1 self) – Add To MetaCart

Hancock: A language for extracting signatures from data streams
by Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith — 2000 — In Proc. of the 2000 ACM SIGKDD Intl. Conf. on Knowledge Discovery and Data Mining
… Daryl Pregibon Anne Rogers Frederick Smith…
Cited by 49 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB