Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Mon 4 Sep 2017 10:52 - 11:15 at L1 - Art and Education Chair(s): Kathryn E. Gray

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.

Mon 4 Sep

Displayed time zone: Belfast change

10:30 - 12:00
Art and EducationResearch Papers at L1
Chair(s): Kathryn E. Gray University of Cambridge
10:30
22m
Talk
Super 8 Languages for Making Movies (Functional Pearl)
Research Papers
Leif Andersen Northeastern University, USA, Stephen Chang Northeastern University, USA, Matthias Felleisen Northeastern University, USA
DOI
10:52
22m
Talk
Testing and Debugging Functional Reactive Programming
Research Papers
Ivan Perez University of Nottingham, UK, Henrik Nilsson University of Nottingham, UK
DOI
11:15
22m
Talk
Lock-Step Simulation Is Child's Play (Experience Report)
Research Papers
Joachim Breitner University of Pennsylvania, Chris Smith Google, USA
DOI
11:37
22m
Talk
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Research Papers
Benjamin Canou OCamlPro, n.n., Roberto Di Cosmo Inria, France / University of Paris Diderot, France, Grégoire Henry OCamlPro, n.n.
DOI