LFCS Seminar: 16 November 2018 - Healfdene Goguen Title: Concurrency and Compositional Synchronization Abstract: Concurrent programming is critical to large, distributed systems like those used at Google to support cloud applications such as search, gmail, youtube, and so on. However, Google uses imperative programming languages, leading to programs that have subtle behaviors and are difficult to understand. This talk will start with a brief overview of EML, an attempt at a programming language with concurrency primitives and a graphical representation corresponding to programmers' intuitions about state transitions. There are many aspects of EML that are not fully worked out: the technical content of the talk will focus on primitives that allow concurrent pattern matching. Nov 16 2018 14.00 - 15.00 LFCS Seminar: 16 November 2018 - Healfdene Goguen Speaker: Healfdene Goguen IF 4.31/4.33
LFCS Seminar: 16 November 2018 - Healfdene Goguen Title: Concurrency and Compositional Synchronization Abstract: Concurrent programming is critical to large, distributed systems like those used at Google to support cloud applications such as search, gmail, youtube, and so on. However, Google uses imperative programming languages, leading to programs that have subtle behaviors and are difficult to understand. This talk will start with a brief overview of EML, an attempt at a programming language with concurrency primitives and a graphical representation corresponding to programmers' intuitions about state transitions. There are many aspects of EML that are not fully worked out: the technical content of the talk will focus on primitives that allow concurrent pattern matching. Nov 16 2018 14.00 - 15.00 LFCS Seminar: 16 November 2018 - Healfdene Goguen Speaker: Healfdene Goguen IF 4.31/4.33
Nov 16 2018 14.00 - 15.00 LFCS Seminar: 16 November 2018 - Healfdene Goguen Speaker: Healfdene Goguen
