Browse Research and Tech Reports - Computer Science by Subject "garbage collection"

  • Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore (2011-03-15)
    Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable ...


    application/pdfPDF (1MB)