Browsing Open Access Repositories by Subject "mutation"
Now showing items 1-2 of 2
-
Combined static and dynamic mutability analysis
(2006-09-17)Knowing which method parameters may be mutated during a method'sexecution is useful for many software engineering tasks. We presentan approach to discovering parameter immutability, in which severallightweight, scalable ...
-
On a Heegaard Floer theory for tangles
(University of CambridgeDPMMS, 2017-03-10)The purpose of this thesis is to define a “local” version of Ozsváth and Szabó’s Heegaard Floer homology HFL^ for links in the 3-sphere, i.e. a Heegaard Floer homology HFT^ for tangles in the 3-ball. The decategorification ...