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 *