Safe manual memory management in Cyclone

The real-time specification for Java

Greg Bollella, James Gosling · Computer · 2000 · 988 citations

Computing, Computer Science, Computer Systems +12

Garbage collection in an uncooperative environment

Hans‐Juergen Boehm, Mark Weiser · Software Practice and Experience · 1988 · 630 citations

Computing, Computer Engineering, Computer Science +12

Cyclone: A Safe Dialect of C

Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 618 citations

Computing, Computer Engineering, Computer Science +17

Region-Based Memory Management

Mads Tofte, Jean-Pierre Talpin · Information and Computation · 1997 · 617 citations

Dependent types in practical programming

Hongwei Xi, Frank Pfenning · 1999 · 584 citations · Full text

Computing, Computer Science, Compilers +16