Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 09:00 - 09:30 at OCaml - Applications

Since their inception state-machine frameworks have proven their worth by finding defects in everything from the underlying AUTOSAR components of Volvo cars to digital invoicing sys- tems. These case studies were carried out with Erlang’s commercial QuickCheck state-machine framework from Quviq, but such frameworks are now also available for Haskell, F#, Scala, Elixir, Java, etc. We present a typed state-machine framework for OCaml based on the QCheck library and illustrate a number concepts common to all such frameworks: state modeling, commands, interpreting commands, preconditions, and agreement checking.

This program is tentative and subject to change.

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

09:00 - 11:00: OCaml 2020 - Applications at OCaml
ocaml-2020-papers09:00 - 09:30
Jan MidtgaardUniversity of Southern Denmark
ocaml-2020-papers09:30 - 10:00
Tom RidgeUniversity of Leicester, UK
ocaml-2020-papers10:00 - 10:30
ocaml-2020-papers10:30 - 11:00
Markus MottlUnaffiliated