From formal specifications to Ada Programs
Peter Kearney, Luke Wildman · 1999
This paper describes an approach to embedding the semantics of a target programming language within the Z-based formal specification and development language Sum. The approach enables formal tool-supported refinement from specifications to a Sum subset which is then translated to Ada.