CEUR-WS.org/Vol-2199 - 3rd International Workshop on on Sets and Tools 2018

SETS 2018
Sets and Tools

Proceedings of the 3rd International Workshop on Sets and Tools
co-located with the 6th International ABZ Conference ( ABZ 2018 )

Southamptom, United Kingdom, June 5, 2018 .

Edited by

Maximiliano Cristiá *
David Delahaye **
Catherine Dubois ***

Preface

Organization

Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk) 1
Michael Leuschel
Encoding Sets as Real Numbers 2-16
Domenico Cantone , Alberto Policriti
Programming in Java with Restricted Intensional Sets 17-31
Maximiliano Cristia , Gianfranco Rossi
Towards Coq Formalisation of {log} Set Constraints Resolution 32-37
Catherine Dubois , Sulyvan Weppe
On Perfect Matchings for some Bipartite Graphs 38-51
Alberto Casagrande , Francesco Di Cosmo , Eugenio G. Omodeo
A Set-Based Reasoner for the Description Logic DL ^4,x _D 52-66
Domenico Cantone , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria
Polarized Rewriting and Tableaux in B Set Theory 67-72
Olivier Hermant

2018-09-05: submitted by Maximiliano Cristiá, metadata incl. bibliographic data published under Creative Commons CC0
2018-09-07 : published on CEUR-WS.org | valid HTML5 |

SETS 2018
Sets and Tools

Proceedings of the 3rd International Workshop on Sets and Tools
co-located with the 6th International ABZ Conference ( ABZ 2018 )

Southamptom, United Kingdom, June 5, 2018 .

Maximiliano Cristiá *
David Delahaye
Catherine Dubois *

Table of Contents

SETS 2018 Sets and Tools

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference ( ABZ 2018 )

Southamptom, United Kingdom, June 5, 2018 .

Maximiliano Cristiá * David Delahaye ** Catherine Dubois ***

Table of Contents

SETS 2018
Sets and Tools

Proceedings of the 3rd International Workshop on Sets and Tools
co-located with the 6th International ABZ Conference ( ABZ 2018 )

Maximiliano Cristiá *
David Delahaye
Catherine Dubois *