Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Formal methods / Denotational semantics / Dynamic Software Updating / Module / Lambda calculus / Combinatory logic / Theoretical computer science / Models of computation / Mathematics


Formalizing Dynamic Software Updating Gavin Bierman† †
Add to Reading List

Document Date: 2007-11-14 07:07:40

Open Document

File Size: 178,61 KB

Share Result on Facebook
UPDATE