Sciweavers

FDL
2004
IEEE

Reuse of SML module system for the B language

14 years 3 months ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module system for a core language. We will discuss how to simulate the B modularity with such a system. This simulation is based on the syntax categories of the B language that makes possible the expression of a major part of the type-checking rules in the core B language. Thus the B modularity is easier to understand.
Dorian Petit, Vincent Poirriez, Georges Mariano
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FDL
Authors Dorian Petit, Vincent Poirriez, Georges Mariano
Comments (0)