Search for tag: "programs"

SEP Newsletter January 2019

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

From  Tim Gray A month ago 0 likes 180 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 A month ago 0 likes 20 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 3 Months ago 0 likes 10 views 0  

Lecture 13: Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today’s lecture presented two different facilities designed to help write Java code that does the right…

From  Ian Stark 3 Months ago 0 likes 6 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 3 Months ago 0 likes 8 views 0  

Cautionary Tales in Concurrency

Advances in Programming Languages 2018/19 Lecture 11: Cautionary Tales in Concurrency This lecture concluded the set on concurrency with three distinctive challenges for concurrent programming and…

From  Ian Stark 4 Months ago 0 likes 7 views 0  

Interview with Chris MacLeod the new Student Administration & Support Programme Lead

Description to be added

From  Tim Gray 4 Months ago 0 likes 147 views 0  

Other Programming-Language Approaches to Concurrency

Advances in Programming Languages 2016/17 Lecture 10: Other Programming-Language Approaches to Concurrency The recording of APL 2018/19 Lecture 10 did not work properly — there is no audio,…

From  Ian Stark 4 Months ago 0 likes 14 views 0  

Concurrency Abstractions

Advances in Programming Languages 2018/19 Lecture 9: Concurrency Abstractions This lecture reviews the built-in Java concurrency primitives from Lecture 8 and introduces some patterns that can help…

From  Ian Stark 4 Months ago 0 likes 5 views 0