International Conference on Functional Programming 2017

Testing and Debugging Functional Reactive Programming


Listen Later

Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Many types of interactive applications, including video games, raise particular challenges when it comes to testing and debugging. Reasons include de-facto lack of reproducibility and difficulties of automatically generating suitable test data. This paper demonstrates that certain variants of Functional Reactive Programming (FRP) implemented in pure functional languages can mitigate such difficulties by offering referential transparency at the level of whole programs. This opens up for a multi-pronged approach for assisting with testing and debugging that works across platforms, including assertions based on temporal logic, recording and replaying of runs (also from deployed code), and automated random testing using QuickCheck. The approach has been validated on real, non-trivial games implemented in the FRP system Yampa through a tool providing a convenient Graphical User Interface that allows the execution of the code under scrutiny to be controlled, moving along the execution time line, and pin-pointing of violations of assertions on PCs as well as mobile platforms. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
...more
View all episodesView all episodes
Download on the App Store

International Conference on Functional Programming 2017By Oxford University


More shows like International Conference on Functional Programming 2017

View all
General Philosophy by Oxford University

General Philosophy

69 Listeners

Anthropology by Oxford University

Anthropology

75 Listeners

Philosophy for Beginners by Oxford University

Philosophy for Beginners

322 Listeners

Approaching Shakespeare by Oxford University

Approaching Shakespeare

329 Listeners

Aesthetics and Philosophy of Art lectures by Oxford University

Aesthetics and Philosophy of Art lectures

76 Listeners

Kant's Critique of Pure Reason by Oxford University

Kant's Critique of Pure Reason

76 Listeners

The Secrets of Mathematics by Oxford University

The Secrets of Mathematics

41 Listeners

Oxford Physics Public Lectures by Oxford University

Oxford Physics Public Lectures

10 Listeners

Theoretical Physics - From Outer Space to Plasma by Oxford University

Theoretical Physics - From Outer Space to Plasma

59 Listeners

Professor of Poetry by Oxford University

Professor of Poetry

24 Listeners