Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Conference or workshop item

Sultana, Nik and Thompson, Simon (2008) A Certified Refactoring Engine. In: Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). (Full text available)
[img]
Preview

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: Workshop on Partial Evaluation and Program Manipulation, Jan 07-08, 2008, San Francisco, CA,. (Full text available)
[img]
Preview

Thesis

Sultana, Nik (2008) Verification of Refactorings in Isabelle/HOL. Other masters thesis, Computing Laboratory, University of Kent. (Full text available)
[img]
Preview

This list was generated on Fri Oct 31 20:06:48 2014 GMT.