Browse Dept. of Computer Science by Subject "garbage collection"
Now showing items 1-1 of 1
(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 ...