Teaching concurrency: 10 years of programming projects at UCPH
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
While CSP is traditionally taught as an algebra, with a focus on definitions and proofs, it may also be presented as a style of programming, that is process-oriented programming. For the last decade University of Copenhagen (UCPH) has been teaching CSP as a mix of the two, including both the formal aspects and process-oriented programming. This paper summarized the work that has been made to make process-oriented programming relevant to students, through programming assignments where process orientation is clearly simpler than an equivalent solution in imperative programming style.
Originalsprog | Engelsk |
---|---|
Titel | Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) |
Redaktører | Jan Baekgaard Pedersen, Kevin Chalmers, Jan F. Broenink, Brian Vinter, Kevin Vella, Peter H. Welch, Marc L. Smith, Kenneth Skovhede |
Antal sider | 22 |
Forlag | IMIA and IOS Press |
Publikationsdato | 2019 |
Sider | 135-156 |
ISBN (Elektronisk) | 9781614999485 |
DOI | |
Status | Udgivet - 2019 |
Begivenhed | 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018 - Dresden, Tyskland Varighed: 19 aug. 2018 → 22 aug. 2018 |
Konference
Konference | 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018 |
---|---|
Land | Tyskland |
By | Dresden |
Periode | 19/08/2018 → 22/08/2018 |
Navn | Concurrent Systems Engineering Series |
---|---|
Vol/bind | 70 |
ISSN | 1383-7575 |
ID: 241090087