Now showing items 4-5 of 5

    • A Linearly Typed Assembly Language 

      Cheney, James; Morrisett, Greg (Cornell University, 2003-06-04)
      Today's type-safe low-level languages rely on garbage collection to recycle heap-allocated objects safely. We present LTAL, a safe, low-level, yet simple language that ``stands on its own'': it guarantees safe execution ...
    • Toward a Theory of Information Preservation 

      Cheney, James; Lagoze, Carl; Botticelli, Peter (Cornell University, 2001-05-23)
      Digital preservation is a pressing challenge to the library community. In this paper, we describe the initial results of our efforts towards understanding digital (as well as traditional) preservation problems from first ...