From Predicates to Programs: The Semantics of a Method Language
This paper explains how a declarative method language, based upon the formal notations of Z and B, can be used as a basis for automatic code generation. The language is used to describe the intended effect of operations, or methods, upon the components of an object model; each method is defined by a...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Electronic Notes in Theoretical Computer Science
2007
|