Search for tag: "sign languages"

DELC Festival of European Theatre

Moa Bell, member of Les Escogriffes French Theatre Society, tells us about the very first DELC Festival of European Theatre: four fantastic language plays over eight nights at Assembly Roxy performed…

From  Maire Cox A week ago 0 likes 10 views 0  

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  

EdSign Seminar | Dr Heather Mole & Chris Tester "Interpreters as machines, cultural facilitators or allies?"

Dr Heather Mole & Chris Tester in conversation "Interpreters as machines, cultural facilitators or allies?" EdSign Seminar 20th November 2018

From  Kat Dlugosz 3 Months ago 0 likes 107 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  

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 5 Months ago 0 likes 8 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 5 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 5 Months ago 0 likes 5 views 0  

Concurrency

Advances in Programming Languages 2018/19 Lecture 8: Concurrency Moving on from type systems, this lecture starts to look at programming for concurrency: why you might want — or need —…

From  Ian Stark 5 Months ago 0 likes 3 views 0