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.

• Type: Conference
• Year: 2004
• Where: FDL
• Authors: Dorian Petit, Vincent Poirriez, Georges Mariano
• Keywords: Core Language, FDL 2004, Module System, Natural Language Processing, Syntax Categories