ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Nisansala Yatapanage

Newcastle Authors	Title	Year	Full text
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example	2019
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example	2018
Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Nisansala Yatapanage	General Lessons from a Rely/Guarantee Development	2017
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation Using Abstraction and Reification	2015