%0 Thesis %1 phd/ethos/Wright05 %A Wright, Joel J. %D 2005 %K dblp %T Compiling and reasoning about exceptions and interrupts.

@phdthesis{phd/ethos/Wright05, added-at = {2022-04-05T00:00:00.000+0200}, author = {Wright, Joel J.}, biburl = {https://www.bibsonomy.org/bibtex/276c2b65b6680f9638755925efb6a5aa4/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428930}, interhash = {29a8b5328349e032a3342d4282e603c4}, intrahash = {76c2b65b6680f9638755925efb6a5aa4}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Nottingham, UK}, timestamp = {2024-04-09T08:44:26.000+0200}, title = {Compiling and reasoning about exceptions and interrupts.}, year = 2005 }