Search for tag: "program"

Separation Logic

Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…

From  Ian Stark 3 Weeks ago 0 likes 0 views 0  

Building our new Core System together

We spoke to Subject Matter Experts during the due diligence sessions, to get their opinions on being involved in the process.

From  Joe West 3 Weeks ago 0 likes 126 views 0  

SEP Newsletter January 2019

Service Excellence Programme Lead Barry Neilson looks ahead to programme highlights in 2019.

From  Tim Gray 2 Months ago 0 likes 197 views 0  

MSc in History (Online Learning) graduating students

On the day of their graduation, our students reminisce about their experiences of the programme.

From  Ian Chard 2 Months ago 0 likes 41 views 0  

Online degree students at Graduation: why did you choose the University of Edinburgh?

There's no need to come to Edinburgh when you're an online student, but many online students choose to attend their graduation ceremony and take a short break in Scotland's capital…

From  Lauren Johnston-Smith 3 Months ago 0 likes 52 views 0  

Service Excellence Programme update

Sally Priestly and Sarah MacKenzie discuss progress on the Service Excellence Programme. ECA Staff Forum channel on Media Hopper: https://edin.ac/2LgP9i8 ECA Staff Forum on the ECA intranet…

From  Andrew Collins 4 Months ago 0 likes 11 views 0  

Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…

From  Ian Stark 4 Months ago 0 likes 8 views 0  

Specification and Verification

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…

From  Ian Stark 4 Months ago 0 likes 9 views 0  

Master of Public Health online: Victor Tumukunde - student testimonial

Victor from Uganda is studying the Master of Public Health online while working as a paediatrician. Join our online community: https://www.ed.ac.uk/molecular-genetic-population/mph/online

From  Lauren Johnston-Smith 5 Months ago 0 likes 50 views 0