Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: S
Number of items: 1.

S

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 51-60. ISBN 978-1-59593-977-7. (doi:10.1145/1328408.1328417) (KAR id:23959)
Format: PDF

This list was generated on Tue Dec 24 23:13:47 2024 GMT.