‹Programming› 2021 (series) / Research Papers /
Programming Paradigms, Turing Completeness and Computational Thinking
Wed 24 Mar 2021 16:00 - 16:30 at Virtual Space B - Session 4 Chair(s): Ademar Aguiar
Thu 25 Mar 2021 16:00 - 16:30 at Virtual Space C - Session 11 Chair(s): Jeremy Gibbons
Thu 25 Mar 2021 16:00 - 16:30 at Virtual Space C - Session 11 Chair(s): Jeremy Gibbons
The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However,this notion sits ill with Kuhn’s classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power.
Furthermore, it is not at all clear how programming paradigms are to be characterised and differentiated. Indeed, on closer inspection, apparently disparate programming paradigms are very strongly connected. Rather, they should be viewed as different traditions of a unitary Computer Science paradigm of Turing complete computation complemented by Computational Thinking.
Wed 24 MarDisplayed time zone: Belfast change
Wed 24 Mar
Displayed time zone: Belfast change
15:00 - 16:30 | |||
15:00 30mLive Q&A | Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Research Papers Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Media Attached | ||
15:30 30mLive Q&A | Interactive Music and Synchronous Reactive Programming Research Papers DOI Media Attached | ||
16:00 30mLive Q&A | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg Michaelson Heriot-Watt University DOI Media Attached |
Thu 25 MarDisplayed time zone: Belfast change
Thu 25 Mar
Displayed time zone: Belfast change
15:00 - 16:30 | Session 11Research Papers at Virtual Space C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
15:00 30mLive Q&A | Functional Programming in Pattern-Match-Oriented Programming Style Research Papers Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo DOI Media Attached | ||
15:30 30mLive Q&A | Lake symbols for island parsing Research Papers Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo DOI Media Attached | ||
16:00 30mLive Q&A | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg Michaelson Heriot-Watt University DOI Media Attached |