Sciweavers

2 search results - page 1 / 1
» Constructive Membership Predicates as Index Types
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
13 years 3 months ago
Constructive Membership Predicates as Index Types
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
James Caldwell, Josef Pohl
SPLST
2003
13 years 5 months ago
On Typechecking B
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
Antti-Juhani Kaijanaho