Skip to main content

1 Result(s)

within Conference Paper Remove this filter Gaspard Férey Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Code Generation Using a Formal Model of Reference Counting

    Reference counting is a popular technique for memory management. It tracks the number of active references to a data object during the execution of a program. Reference counting allows the memory used by a dat...

    Gaspard Férey, Natarajan Shankar in NASA Formal Methods (2016)