Helping Programmers to Adopt Set-Based Specifications.
Maximiliano Cristiá, Gianfranco Rossi, Claudia Frydman · 2015
Set theory is a key component of formal notations such as B, Z and Alloy. Set-based specications are short while precise enough as to start the implementation. However, according to our experience, practitioners without a mathematical background nd diculties in us- ing them. In this paper we propose the set-based programming language flogg as an aid to teach programmers to write set-based specications. In one hand, a large class of set-based specications can be automati- cally translated into flogg programs, which can be used as prototypes; on the other hand, plain flogg programs can be used as contracts, which are closer to the implementation. This could help in a widest adoption of set-based specications since programmers seem to be adopting contracts as a form of specication.