Sciweavers

81
Voted
ZUM
2000
Springer
15 years 1 months ago
Recursive Schema Definitions in Object-Z
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
Graeme Smith