Language Based Verification Tools for Functional Programs (Dagstuhl seminar 16131)

Mar 28 - Apr 1, 2016 · Wadern, Germany

The web, multi-core and "big-data" revolutions have been largely built on higher-order programming constructs pioneered in the Functional Programming community. Despite the increasing importance of such programs, there are relatively few tools that are focussed on ensuring that functional programs possess crucial correctness properties. While language based verification for imperative and first-order programs has been studied for decades yielding important ideas like Floyd-Hoare Logics, Abstract Interpretation, and Model Checking. It is only relatively recently, that researchers have proposed language based verification tools {e.g. advanced type systems, contract systems, model checking and higher-order program analyses for functional and higher-order programs.

Event organizers

Are you organizing Language Based Verification Tools for Functional Programs (Dagstuhl seminar 16131)?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews